some linting of settings.js