diff --git a/src/tseitin/Tseitin_intf.ml b/src/tseitin/Tseitin_intf.ml
index 6ead857f..99805c35 100644
--- a/src/tseitin/Tseitin_intf.ml
+++ b/src/tseitin/Tseitin_intf.ml
@@ -36,8 +36,7 @@ end
 module type S = sig
   (** CNF conversion
 
-      This modules allows to convert arbitrary boolean formulas
-      into CNF.
+      This modules converts arbitrary boolean formulas into CNF.
   *)
 
   type atom