diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index ad331f122e7e5da0d4a2174ca440673bed5b8191..7714801f87bdc613d7a694f723c721172a12bfbf 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -61,17 +61,13 @@ let add_precision_dep p =
 
 let () = List.iter add_correctness_dep kernel_parameters_correctness
 
-module Fc_filepath = Filepath
-
-module Eva =
-  Plugin.Register
+include Plugin.Register
     (struct
       let name = "Eva"
       let shortname = "eva"
       let help =
         "automatically computes variation domains for the variables of the program"
     end)
-include Eva
 
 let () = Help.add_aliases ~visible:false [ "-value-h"; "-val-h" ]
 let () = add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ]
@@ -1428,6 +1424,8 @@ let parameters_correctness =
 let parameters_tuning =
   Typed_parameter.Set.elements !parameters_tuning
 
+
+
 (*
 Local Variables:
 compile-command: "make -C ../../.."
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 9e8ac50489204e0444616d7a0ff21dd4f66f5e4b..0a294b1e8c116567bfb723b1843c173484228d91 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -20,8 +20,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-module Fc_filepath = Filepath
-
 include Plugin.General_services
 
 module ForceValues: Parameter_sig.With_output