diff --git a/src/kernel_services/ast_queries/logic_const.mli b/src/kernel_services/ast_queries/logic_const.mli
index 608071816f2bdcb3c97b7754d4736dbcb1746f13..1fc039f8df1bfa13787e8c3f71d030c3fd09b4b4 100644
--- a/src/kernel_services/ast_queries/logic_const.mli
+++ b/src/kernel_services/ast_queries/logic_const.mli
@@ -59,7 +59,8 @@ val refresh_spec: funspec -> funspec
 val toplevel_predicate: ?kind:predicate_kind -> predicate -> toplevel_predicate
 
 (** creates a new identified predicate with a fresh id.
-    @modify 22.0-Titanium add [only_check] optional parameter
+    @before 22.0-Titanium no [only_check] parameter.
+    @before 23.0-Vanadium [kind] parameter was named [only_check].
 *)
 val new_predicate: ?kind:predicate_kind -> predicate -> identified_predicate