Update settings.js

GitHub is annoying.