A few minor corrections in config.doc (no changes to the program code).