diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index e5fef382fa304ecad7095b36f1dd88f1de527fa2..b7b2ab26bdf756930158a03efbcd19920ffc611b 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -58,7 +58,7 @@ let () = List.iter add_correctness_dep kernel_parameters_correctness
 
 include Plugin.Register
     (struct
-      let name = "value analysis"
+      let name = "Eva"
       let shortname = "eva"
       let help =
         "automatically computes variation domains for the variables of the program"