diff --git a/src/libraries/monads/monad.mli b/src/libraries/monads/monad.mli
index a871fa73436e46681f64a91cd575b06b43d62e0f..7fd24d094808ac8ee7b156b312f3e287728c4faa 100644
--- a/src/libraries/monads/monad.mli
+++ b/src/libraries/monads/monad.mli
@@ -20,8 +20,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(** This module provides a generic monad interface based on Keisli and Categoric
-    defintion of monads. *)
+(** This module provides a generic monad interface based on Keisli and
+    Categoric definitions of monads. *)
 
 
 (** {2 Kleisli triple signature for a monadic type constructor ['a t]}
diff --git a/src/libraries/monads/state_monad.ml b/src/libraries/monads/state_monad.ml
index 5747f0e8653d54d02e8aad4e8819ea70fe09a41a..30dc807702abdbda9c16aace18982953b082406c 100644
--- a/src/libraries/monads/state_monad.ml
+++ b/src/libraries/monads/state_monad.ml
@@ -18,7 +18,7 @@
 (*  See the GNU Lesser General Public License version 2.1                 *)
 (*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
 (*                                                                        *)
-(*************************************************************************)
+(**************************************************************************)
 
 module Make (Env : Datatype.S_with_collections) = struct