Cosmetic changes to config.h