diff --git a/src/haz3lweb/view/StepperView.re b/src/haz3lweb/view/StepperView.re
index a80aba10ed..5ea92c759d 100644
--- a/src/haz3lweb/view/StepperView.re
+++ b/src/haz3lweb/view/StepperView.re
@@ -289,6 +289,7 @@ module Update = {
              evaluation: {
                ...a.evaluation,
                show_settings: true,
+               stepper_history: true,
              },
            }
            == CoreSettings.{
@@ -296,6 +297,7 @@ module Update = {
                 evaluation: {
                   ...b.evaluation,
                   show_settings: true,
+                  stepper_history: true,
                 },
               }
          });