* minor changes in settings.js