Typos in config.h