diff --git a/src/kernel_internals/runtime/config.mli b/src/kernel_internals/runtime/config.mli
index fb6d070c74c0f041e99aa5f94513fe84fb8d9833..a75a8ca2f20167638528a6038bc28f64a8f344fe 100644
--- a/src/kernel_internals/runtime/config.mli
+++ b/src/kernel_internals/runtime/config.mli
@@ -65,11 +65,11 @@ val datadir: string
 val datadirs: string list
   (** Directories where architecture independent files are in order of
       priority.
-      @since Frama-C-trunk*)
+      @since 19.0-Potassium *)
 
 val framac_libc: string
   (** Directory where Frama-C libc headers are.
-      @since Frama-C-trunk*)
+      @since 19.0-Potassium *)
 
 val libdir: string
   (** Directory where the Frama-C kernel library is.