diff --git a/src/kernel_services/ast_data/annotations.mli b/src/kernel_services/ast_data/annotations.mli
index 79712871f4d0fbc2d921cf9fbc0ba62d791449d7..2b41a4e934edd1182ef116876f2a2c6fa5e21cef 100644
--- a/src/kernel_services/ast_data/annotations.mli
+++ b/src/kernel_services/ast_data/annotations.mli
@@ -281,7 +281,7 @@ val add_code_annot:
     There can be at most one loop variant registered per statement.
     Attempting to register a second one will result in a fatal error.
 
-    @modify 22.0-Titanium: add keep_empty argument
+    @before 22.0-Titanium there was no [keep_empty] optional argument
 *)
 
 val add_assert:
diff --git a/src/kernel_services/ast_queries/logic_typing.mli b/src/kernel_services/ast_queries/logic_typing.mli
index ce3be97d3c1201dfbe68578030b386849c9a5e5d..9a86583db31e9f56d1f8b9e70eed25b579e71ba8 100644
--- a/src/kernel_services/ast_queries/logic_typing.mli
+++ b/src/kernel_services/ast_queries/logic_typing.mli
@@ -142,7 +142,7 @@ type typing_context = {
       a text message indicating the issue) and the exception will be re-raised.
 
       @since Chlorine-20180501
-      @modify Frama-C+dev rollback takes as argument the error
+      @before Frama-C+dev [rollback] didn't take [loc] and [cause] as argument
   *)
 }
 
diff --git a/src/libraries/stdlib/integer.mli b/src/libraries/stdlib/integer.mli
index 33ec8281a3a85c2e36b1690ac67a444cdb485cb6..835c3fd4268c9caf3eb258c157e6c90a9004504e 100644
--- a/src/libraries/stdlib/integer.mli
+++ b/src/libraries/stdlib/integer.mli
@@ -214,10 +214,15 @@ val to_string : t -> string
 val of_string : string -> t
 (** @raise Invalid_argument when the string cannot be parsed. *)
 
-(** @modify Frama-C+dev remove optional `hexa` argument *)
+(** Prints the integer in decimal format. See also {!pretty_hex}.
+
+    @before Frama-C+dev there was an optional [hexa] argument. *)
 val pretty : t formatter
 
-(** @since Frama-C+dev *)
+(** Prints the integer in hexadecimal format (replaces [hexa] optional
+    argument of {!pretty} from older versions).
+
+    @since Frama-C+dev *)
 val pretty_hex : t formatter
 
 val pp_bin : ?nbits:int -> ?sep:string -> t formatter