minor changes to settings.html