diff --git a/rtgui/options.cc b/rtgui/options.cc
index 4ba6ee5fc..8f601b764 100644
--- a/rtgui/options.cc
+++ b/rtgui/options.cc
@@ -1253,7 +1253,7 @@ void Options::readFromFile(Glib::ustring fname)
                     CPFontSize = keyFile.get_integer("GUI", "CPFontSize");
                 }
 
-                if (keyFile.has_key("GUI", "ScaledIcons")) {
+                if (keyFile.has_key("GUI", "PseudoHiDPISupport")) {
                 	pseudoHiDPISupport = keyFile.get_boolean("GUI", "PseudoHiDPISupport");
                 }
 
diff --git a/rtgui/preferences.cc b/rtgui/preferences.cc
index 42cb9a607..b37fc537a 100644
--- a/rtgui/preferences.cc
+++ b/rtgui/preferences.cc
@@ -1056,7 +1056,7 @@ Gtk::Widget* Preferences::getGeneralPanel ()
     appearanceGrid->attach(*themeLbl,           0, 0, 1, 1);
     appearanceGrid->attach(*themeCBT,           1, 0, 1, 1);
     appearanceGrid->attach(*themeRestartLbl,    2, 0, 2, 1);
-    appearanceGrid->attach(*vSep,               2, 1, 1, 3);
+    appearanceGrid->attach(*vSep,               2, 1, 1, 2);
     appearanceGrid->attach(*mainFontLbl,        0, 1, 1, 1);
     appearanceGrid->attach(*mainFontFB,         1, 1, 1, 1);
     appearanceGrid->attach(*cropMaskColorLbl,   3, 1, 1, 1);