diff --git a/src/kernel_services/cmdline_parameters/cmdline.mli b/src/kernel_services/cmdline_parameters/cmdline.mli
index 572ee38ca0221df19644f0e79d27e961e1b6d87e..b30852478e34e2fdafdaeb776ec461b80a1a478c 100644
--- a/src/kernel_services/cmdline_parameters/cmdline.mli
+++ b/src/kernel_services/cmdline_parameters/cmdline.mli
@@ -309,7 +309,7 @@ val add_aliases:
     option name [orig].
     If [visible] is set to false, the aliases do not appear in help messages.
     If [deprecated] is set to true, the use of the aliases emits a warning.
-    @Invalid_argument if an alias name is the empty string
+    @raise Invalid_argument if an alias name is the empty string
     @since Carbon-20110201
     @before 22.0-Titanium no [visible] and [deprecated] arguments. *)
 
diff --git a/src/libraries/project/state_builder.mli b/src/libraries/project/state_builder.mli
index 15b0fe12ff2369fe4cfc40107615e50341db6023..94f4dc217b4c43f71e87506304b4672ad70d7a8c 100644
--- a/src/libraries/project/state_builder.mli
+++ b/src/libraries/project/state_builder.mli
@@ -236,7 +236,7 @@ module type Weak_hashtbl = sig
 
   val find: data -> data
   (** [find x] returns an instance of [x] found in table.
-      @Raise Not_found if there is no such element.
+      @raise Not_found if there is no such element.
       @since Boron-20100401 *)
 
   val find_all: data -> data list