diff --git a/colibri_for_bundle.ml b/colibri_for_bundle.ml
index c412d0ab424f242b2915086ec619fe5d71926c80..3d75c4df491580077a789699f6309207511ca9a7 100644
--- a/colibri_for_bundle.ml
+++ b/colibri_for_bundle.ml
@@ -114,9 +114,10 @@ let () =
            (if !interpreter
             then [| |]
             else [| "-e"; Printf.sprintf
-                      "seed(0),%s,smt_solve%s(%s)"
+                      "seed(0),%s,setval(step_limit,%i),smt_solve%s(%s)"
                       !conf
-                      (if !get_steps then "_stats" else "")
+                      !max_steps
+                      (if !get_steps then "_get_stat" else "")
                       (quote_for_prolog !goal)
                  |])
          ]
diff --git a/version b/version
index 6f945a7d97de62fd10f5824f877109edc057dcb3..da1d4a6941e77ecfc6ccba42036d49ace98645b2 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-2020.6
+2020.9