Fix an error in settings.js