diff --git a/src/kernel_services/abstract_interp/lattice_type.mli b/src/kernel_services/abstract_interp/lattice_type.mli
index d27e7d8f08a843438c05896b40c4063ccc83a612..f5e0608d520c6c801358ff9a8c9a478e7cc45036 100644
--- a/src/kernel_services/abstract_interp/lattice_type.mli
+++ b/src/kernel_services/abstract_interp/lattice_type.mli
@@ -73,7 +73,7 @@ end
     Conversely, some functions, suffixed by [_under] assumes that their arguments
     are under-approximations, and returns a result that under-approximates the
     concrete operation. The functions [link] and [meet] in
-    {! With_Under_Approximation} are exceptions, that are not suffixed by [_under].
+    {!With_Under_Approximation} are exceptions, that are not suffixed by [_under].
 
     Finally, some functions are *exact*, in the sense that they preserve the
     concretization of the concrete function. Hence, they implement
diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index 7365c1809154579cc63435ffcf2f7454b9661cec..8d9862535ae11424deda1d3497207488f9bfb82f 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -2043,7 +2043,9 @@ val is_empty_funspec: funspec -> bool
 val is_empty_behavior: funbehavior -> bool
 
 (* ************************************************************************* *)
-(** {2 ALPHA conversion has been moved to the Alpha module} *)
+(** {2 Renaming} *)
+
+(** See also the {!Alpha} module for other renaming operations. *)
 (* ************************************************************************* *)
 
 (** Assign unique names to local variables. This might be necessary after you
diff --git a/src/plugins/gui/gtk_helper.mli b/src/plugins/gui/gtk_helper.mli
index 1a17976e9eda38cf5e5fd585d03af3c96cfc5ae9..5c225e6121c522ee0115173988ddfea33e608466 100644
--- a/src/plugins/gui/gtk_helper.mli
+++ b/src/plugins/gui/gtk_helper.mli
@@ -98,7 +98,7 @@ module Configuration: sig
   (** Sets a ConfigInt *)
 
   val find_bool : ?default:bool -> string -> bool
-  (** Same as {! find_int}. *)
+  (** Same as {!find_int}. *)
 
   val use_bool: string -> (bool -> unit) -> unit
   (** Same as {!use_int}. *)