Fix-up in config.js.