diff --git a/src/IFSeqSig.ml b/src/IFSeqSig.ml
index 95efb92a27176e2d65b8648b785d8704f1d5a802..d66f1423fcd039a11c77628761b94129b300c062 100644
--- a/src/IFSeqSig.ml
+++ b/src/IFSeqSig.ml
@@ -1,10 +1,10 @@
 (* A signature for implicit finite sequences. *)
 
-(* This sequences are implicit, which means that they are not explicitly
-   represented in memory as an actual sequence of elements; instead, they are
-   *described* by a data structure which contains enough information to
-   produce an arbitrary element upon request. This design decision imposes
-   some constraints on the operations that can be efficiently supported; for
+(* These sequences are implicit, which means that they are not explicitly
+   represented in memory as actual sequences of elements; instead, they are
+   described by a data structure which contains enough information to produce
+   an arbitrary element upon request. This design decision imposes some
+   constraints on the operations that can be efficiently supported; for
    instance, [filter] is not supported. *)
 
 (* This signature forms an applicative functor. *)