Fix settings.js.