Undo unintentional change to settings.js.