diff --git a/js/turtledefs.js b/js/turtledefs.js
index 02a528bdd1..72c3229b14 100644
--- a/js/turtledefs.js
+++ b/js/turtledefs.js
@@ -35,7 +35,7 @@
    getAuxToolbarButtonNames, TITLESTRING
  */
 
-const VERSION = "3.7.0";
+const VERSION = "3.7.1";
 let LOGODEFAULT;
 let LOGOJA1 = LOGODEFAULT;
 let LOGOJA = LOGODEFAULT;