diff --git a/compiler/heptagon/hept_printer.ml b/compiler/heptagon/hept_printer.ml
index ba1ff62..9386983 100644
--- a/compiler/heptagon/hept_printer.ml
+++ b/compiler/heptagon/hept_printer.ml
@@ -207,7 +207,8 @@ and print_app ff (app, args) =
         fprintf ff "@[%a@,%a@,%a@]"
           print_qualname f print_params app.a_params  print_exp_tuple args
     | Easync (f, ack) ->
-        fprintf ff "@[async@,%a@,%a@,%a@,on@,%s@,%a@]"
+        print_stateful ff true;
+        fprintf ff "@[async %a@,%a@,%a on %s@,%a@]"
           print_qualname f
           print_params app.a_params
           print_exp_tuple args