diff --git a/src/velus_printer.ml b/src/velus_printer.ml
index e60c1d587d12b2df2f77cc7c15bbcf3c37602811..79a724993716712dedffaf0102075183d6c94252 100644
--- a/src/velus_printer.ml
+++ b/src/velus_printer.ml
@@ -41,10 +41,10 @@ let pp_var_clock fmt id =
     match ck.cdesc with
     | Carrow _ | Ctuple _ | Cvar | Cunivar ->
       ()
-    | Con (ck, c, "true") ->
-      fprintf fmt "%a when %a" pp_suffix ck print_carrier c
-    | Con (ck, c, "false") ->
-      fprintf fmt "%a when not %a" pp_suffix ck print_carrier c
+    | Con (_ck, c, "true") ->
+      fprintf fmt " when %a" print_carrier c
+    | Con (_ck, c, "false") ->
+      fprintf fmt " when not %a" print_carrier c
     | Con _ ->
       error_ns "Generalized clocks"
     | Clink ck' ->