settings.js: small fix