diff --git a/gui.js b/gui.js
index 026a12cf..02d6b7c3 100644
--- a/gui.js
+++ b/gui.js
@@ -4733,8 +4733,8 @@ ProjectDialogMorph.prototype.getExamplesProjectList = function () {
             }
         }
     );
-    projects.sort(function (x, y) {
-        return x.name < y.name ? -1 : 1;
+    projects = projects.sort(function (x, y) {
+        return x.name.toLowerCase() < y.name.toLowerCase() ? -1 : 1;
     });
     return projects;
 };