diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml
index 190c454..a1abe25 100644
--- a/compiler/heptagon/main/hept_compiler.ml
+++ b/compiler/heptagon/main/hept_compiler.ml
@@ -46,7 +46,7 @@ let compile_program p =
   let p = pass "Reset" true Reset.program p pp in
 
   (* Remove switch statements *)
-  let p = pass "switch" true Switch.program p pp in
+  let p = pass "Switch" true Switch.program p pp in
 
   (* Every *)
   let p = pass "Every" true Every.program p pp in
diff --git a/test/good/grosauto_clock.ept b/test/good/grosauto_clock.ept
new file mode 100644
index 0000000..21aad75
--- /dev/null
+++ b/test/good/grosauto_clock.ept
@@ -0,0 +1,9 @@
+node main() returns (o: int)
+let
+  automaton
+    state State1
+      var c : bool;
+      do o = merge c (1 fby (o when c)) 27;
+         c = false;
+  end
+tel