diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
index 6fad24c2a..46be035f0 100644
--- a/src/haz3lweb/Init.ml
+++ b/src/haz3lweb/Init.ml
@@ -29,7 +29,12 @@ let startup : PersistentData.t =
         benchmark = false;
         mode = Tutorial;
         explainThis =
-          { show = true; show_feedback = false; highlight = NoHighlight; mode = Tutorial };
+          {
+            show = true;
+            show_feedback = false;
+            highlight = NoHighlight;
+            (* mode = Tutorial; *)
+          };
       };
     scratch =
       ( 0,