Minor cosmetic update to config.h.