Fix bugs in config.h.