diff --git a/src/kernel_services/ast_data/globals.mli b/src/kernel_services/ast_data/globals.mli
index 59c9a4875aab1acb22ed4e6e8fae6e52b4f2af11..9e5293c20ff883cae5aebbac55abd97051e1e499 100644
--- a/src/kernel_services/ast_data/globals.mli
+++ b/src/kernel_services/ast_data/globals.mli
@@ -106,15 +106,15 @@ module Functions: sig
   (** {2 Membership} *)
 
   val mem_name: string -> bool
-  (** @return true iff there is a function with such a name
+  (** @return [true] iff there is a function with such a name
       @since Frama-C+dev *)
 
   val mem_def_name: string -> bool
-  (** @return true iff there is a function definition with such a name
+  (** @return [true] iff there is a function definition with such a name
       @since Frama-C+dev *)
 
   val mem_decl_name: string -> bool
-  (** @return true iff there is a function declaration with such a name
+  (** @return [true] iff there is a function declaration with such a name
       @since Frama-C+dev *)
 
   (** {2 Searching} *)
@@ -234,18 +234,18 @@ module Types : sig
       {!Logic_typing.Make} *)
 
   val mem_enum_tag: string -> bool
-    (** @return true iff there is an enum constant with the given name in the
-        AST.
-        @since Frama-C+dev *)
+  (** @return [true] iff there is an enum constant with the given name in the
+      AST.
+      @since Frama-C+dev *)
 
   val find_enum_tag: string -> exp * typ
   (** Find an enum constant from its name in the AST.
       @raise Not_found when no such constant exists. *)
 
   val mem_type: Logic_typing.type_namespace -> string -> bool
-    (** @return true iff there is a type with the given name in the given
-        namespace in the AST.
-        @since Frama-C+dev *)
+  (** @return [true] iff there is a type with the given name in the given
+      namespace in the AST.
+      @since Frama-C+dev *)
 
   val find_type: Logic_typing.type_namespace -> string -> typ
   (** Find a type from its name in the AST.