diff --git a/src/plugins/eva/parameters.ml b/src/plugins/eva/parameters.ml
index c706df45822af3e5c932b69e93aeaf20deefc685..131d5afea3759de3a7dc18e3f9640bd99df0c79b 100644
--- a/src/plugins/eva/parameters.ml
+++ b/src/plugins/eva/parameters.ml
@@ -1280,6 +1280,7 @@ let () = add_precision_dep MallocLevel.parameter
 (* --- Annotations Generator options                                      --- *)
 (* -------------------------------------------------------------------------- *)
 
+let () = Parameter_customize.set_group messages
 module Annot =
   Kernel_function_set
     (struct