Cleaned settings.js

Re-post of Pull Request #692, now able to automatically merge.