Another slight modification of config.