fix bug in config.dist.js