Cosmetic fix in Settingsmanager