diff --git a/CHANGES.md b/CHANGES.md
index 2bbb790fa93a25516ef7e38c524e0a4748abed21..52975a7069e17791b435ee5acf355fb2f42381b5 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,6 @@
+# 1.1.3 (2019/03/04)
+  * Fix bug in strategies implementation
+
 # 1.1.2 (2019/02/10)
   * change json type
   * add cmxs target
diff --git a/VERSION b/VERSION
index 45a1b3f44523206e2b1e6a7ca0e279026c3a2b55..781dcb07cd802a4e98079e3f56fc38f7b092c7a0 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.1.2
+1.1.3
diff --git a/src/grew_grs.ml b/src/grew_grs.ml
index bca5d8d1d36066d717e325183e72e90654aa8636..69bff5efdfe62cfbb31632f0c57848f1dea6ea03 100644
--- a/src/grew_grs.ml
+++ b/src/grew_grs.ml
@@ -347,7 +347,8 @@ module Grs = struct
         (fun gwh acc -> Graph_with_history_set.union acc (gwh_strat_simple_rewrite ?domain pointed (Ast.Seq tail_strat) gwh)
         ) first_strat Graph_with_history_set.empty
 
-    | Ast.Iter strat -> iter_gwh ?domain pointed strat gwh
+    | Ast.Iter s
+    | Ast.Onf s -> iter_gwh ?domain pointed s gwh
 
     | Ast.Try strat ->
       begin
@@ -365,13 +366,6 @@ module Grs = struct
         | None   -> gwh_strat_simple_rewrite ?domain pointed s2 gwh
       end
 
-    | Ast.Onf s ->
-      begin
-        match onf_strat_simple_rewrite ?domain pointed (Ast.Iter s) gwh.Graph_with_history.graph with
-        | None -> Graph_with_history_set.singleton gwh
-        | Some new_g -> Graph_with_history_set.singleton (Graph_with_history.from_graph new_g)
-      end
-
   and iter_gwh ?domain pointed strat gwh =
     let rec loop  (todo, not_nf, nf) =
       match Graph_with_history_set.choose_opt todo with