minor fixes to config.h