diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index 7feccc6f83b8679fb165b38fa68b596d83290a3e..493cea1aaf76821266d0ebe68c52c132dbc5a7a5 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -36,7 +36,6 @@ let config_ref = Extlib.mk_fun "config_ref"
 
 module type S_no_log = sig
   val add_group: ?memo:bool -> string -> Cmdline.Group.t
-  module Help: Parameter_sig.Bool
   module Verbose: Parameter_sig.Int
   module Debug: Parameter_sig.Int
   module Share: Parameter_sig.Specific_dir
diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index bad286c5bff50c6ac02b813f1fbcc29aee7b60b3..1a761d17e9e2c784e15657324ec6cf6e3cbe97b1 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -38,9 +38,6 @@ module type S_no_log = sig
       [memo] defaults to [false]
       @since Beryllium-20090901 *)
 
-  module Help: Parameter_sig.Bool
-  (** @deprecated since Oxygen-20120901 *)
-
   module Verbose: Parameter_sig.Int
   module Debug: Parameter_sig.Int
 
diff --git a/src/plugins/value/self.ml b/src/plugins/value/self.ml
index 430ed2dfde6c190fe6d58c1fca3c4af01cadfcf1..cf109376c8d05157ea5bf5e21d2d9e153e99658e 100644
--- a/src/plugins/value/self.ml
+++ b/src/plugins/value/self.ml
@@ -28,8 +28,8 @@ include Plugin.Register
         "automatically computes variation domains for the variables of the program"
     end)
 
-let () = Help.add_aliases ~visible:false [ "-value-h"; "-val-h" ]
-let () = add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ]
+let () =
+  add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ; "val" ]
 
 (* Do not add dependencies to Kernel parameters here, but at the top of
    Parameters. *)