Small clean-up in config.js