Fixed a config.h option.