diff --git a/src/frontends/qt4/GuiPrefs.cpp b/src/frontends/qt4/GuiPrefs.cpp
index d454202f25..da7992968f 100644
--- a/src/frontends/qt4/GuiPrefs.cpp
+++ b/src/frontends/qt4/GuiPrefs.cpp
@@ -802,7 +802,8 @@ namespace {
 struct ColorSorter
 {
 	bool operator()(ColorCode lhs, ColorCode rhs) const {
-		return lcolor.getGUIName(lhs) < lcolor.getGUIName(rhs);
+		return 
+			compare_no_case(lcolor.getGUIName(lhs), lcolor.getGUIName(rhs)) < 0;
 	}
 };
 
diff --git a/status.16x b/status.16x
index b3cf77121d..47f7b61a1c 100644
--- a/status.16x
+++ b/status.16x
@@ -189,6 +189,9 @@ What's new
   control user interface.
 
 - Remove black box around the document which is visible with Qt4.5.
+
+- Do not sort the colors in the preferences dialog case-sensitively
+  (bug 4673).
 
 
 * DOCUMENTATION AND LOCALIZATION