diff --git a/ecolab b/ecolab
index 8241c80ea..ddad01383 160000
--- a/ecolab
+++ b/ecolab
@@ -1 +1 @@
-Subproject commit 8241c80eaa2be4e9e6d98b820dfd31ddc234add3
+Subproject commit ddad01383e87f9d08a75ee39852853b9e71b59aa
diff --git a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
index a7213f39d..3d2eb2824 100644
--- a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
+++ b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
@@ -1310,8 +1310,8 @@ export class CommandsManager {
           let minskyVersionRE=/(\d+)\.(\d+)\.(\d+)([.-])/;
           let [,major,minor,patch]=minskyVersionRE.exec(minskyFile);
           let [,currMajor,currMinor,currPatch,terminator]=minskyVersionRE.exec((await minsky.minskyVersion())+'.');
-          if (major>currMajor || major===currMajor &&
-              (minor>currMinor || minor===currMinor && patch>currPatch) ||
+          if (+major>+currMajor || major===currMajor &&
+              (+minor>+currMinor || minor===currMinor && +patch>+currPatch) ||
               terminator==='-' && // currently a beta release, so install if release nos match (since betas precede releases)
               major===currMajor && minor===currMinor && patch==currPatch
              ) {