Minor edit in config.js