revert changes to settings.js that got checked in by accident