diff --git a/src/plugins/qed/logic.mli b/src/plugins/qed/logic.mli
index 4c62da6281bd950c47b92f0edd3cf2ba1945000f..f481bf9030c29a002df93d1d4996e8d67236adfe 100644
--- a/src/plugins/qed/logic.mli
+++ b/src/plugins/qed/logic.mli
@@ -451,7 +451,7 @@ sig
         The [force] parameters defaults to [false], when it is [true], if there
         exist another builtin, it is replaced with the new one. Use with care.
 
-        @modify 22.0-Titanium add optional [force] parameter
+        @before 22.0-Titanium the optional [force] parameter does not exist
   *)
 
   val set_builtin' :
@@ -467,7 +467,7 @@ sig
       The [force] parameters defaults to [false], when it is [true], if there
       exist another builtin, it is replaced with the new one. Use with care.
 
-      @modify 22.0-Titanium add optional [force] parameter
+      @before 22.0-Titanium the optional [force] parameter does not exist
   *)
 
   val set_builtin_get :
@@ -479,7 +479,7 @@ sig
       The [force] parameters defaults to [false], when it is [true], if there
       exist another builtin, it is replaced with the new one. Use with care.
 
-      @modify 22.0-Titanium add optional [force] parameter
+      @before 22.0-Titanium the optional [force] parameter does not exist
   *)
 
   val set_builtin_eq :
@@ -494,7 +494,7 @@ sig
         The [force] parameters defaults to [false], when it is [true], if there
         exist another builtin, it is replaced with the new one. Use with care.
 
-        @modify 22.0-Titanium add optional [force] parameter
+        @before 22.0-Titanium the optional [force] parameter does not exist
   *)
 
   val set_builtin_leq :
@@ -510,7 +510,7 @@ sig
         The [force] parameters defaults to [false], when it is [true], if there
         exist another builtin, it is replaced with the new one. Use with care.
 
-        @modify 22.0-Titanium add optional [force] parameter
+        @before 22.0-Titanium the optional [force] parameter does not exist
   *)
 
   (** {3 Specific Patterns} *)