Minor fixes re: config.h