diff --git a/CoAlgFormula.ml b/CoAlgFormula.ml
index 5fb3292921089f7f114da2d188647aeb0600d7aa..d735dee0ec2435875bc3619f1c2b6b83f39aaf12 100644
--- a/CoAlgFormula.ml
+++ b/CoAlgFormula.ml
@@ -628,7 +628,7 @@ and nnf f =
       if n = 0 then TRUE
       else
         let ft = nnf f1 in
-        MORETHAN (n-1,s,f1)
+        MORETHAN (n-1,s,ft)
   | MAX (n, s, f1) ->
       let ft = nnfNeg f1 in
       MAXEXCEPT (n,s, ft)