diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index c0f295d3646eb731197f3913bc1c482108a3724a..4ee2d35357174a64eabd0596aa4e4329a16ea136 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -159,9 +159,9 @@ let domains_list () =
 
 (* Registers a new domain. Updates the help message of -eva-domains. *)
 let register_domain ~name ~descr =
+  domains_ref := (name, descr) :: !domains_ref;
   Cmdline.replace_option_help
-    Domains.option_name "eva" domains (domains_help ());
-  domains_ref := (name, descr) :: !domains_ref
+    Domains.option_name "eva" domains (domains_help ())
 
 (* Checks that a domain has been registered. *)
 let check_domain domain =