Minor fixes to preferences.ui