diff --git a/src/sasaMain.ml b/src/sasaMain.ml
index 7f126aa7de547fefd853f1d45b66fce4ff71ae9a..e0d722e89f871fc08ea428a91f354561bdb13aa2 100644
--- a/src/sasaMain.ml
+++ b/src/sasaMain.ml
@@ -7,7 +7,9 @@ let (print_step : int -> int -> SasArg.t -> 'v Env.t -> 'v Process.t list -> str
     String.concat " " (List.map (fun b -> if b then "t" else "f")
                          (List.flatten enab_ll))
   in
-  if args.no_data_file then () else (
+  if args.no_data_file then (
+    Printf.printf "\n#step %s\n%!" (string_of_int (n-i+1))
+  ) else (
     if args.demon = Demon.Custom then (
       (* in custom mode, to be able to talk with lurette, this should not be 
            printed on stdout