diff --git a/src/phl/ecPhlCodeTx.ml b/src/phl/ecPhlCodeTx.ml
index 1a938a6fd..5d49a34fc 100644
--- a/src/phl/ecPhlCodeTx.ml
+++ b/src/phl/ecPhlCodeTx.ml
@@ -239,8 +239,8 @@ let cfold_stmt
 
   let e_simplify, i_simplify =
       if   simplify
-      then (identity, identity)
-      else (e_simplify, i_simplify) in
+      then (e_simplify, i_simplify)
+      else (identity, identity) in
 
   (*
      Process one instruction under the current propagated substitution and