Changes to UserSettings.hs