Fix coding style and improve comment in settings.js