diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index ef524a0d17969518161a318f8c8d8e60f866c614..0677d81616ea2cf154b21d2f196cff39b916a58e 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -182,8 +182,9 @@ let domains_list () =
       (fun fmt -> Format.pp_print_text fmt descr)
   in
   feedback ~level:0
-    "List of available domains:@. %a@."
-    (Pretty_utils.pp_list ~sep:"@," pp_dom) (List.rev !domains_ref);
+    "List of available domains:@,%a"
+    (Pretty_utils.pp_list ~pre:"@[<v>" ~sep:"@," ~suf:"@]" pp_dom)
+    (List.rev !domains_ref);
   raise Cmdline.Exit
 
 (* Registers a new domain. Updates the help message of -eva-domains. *)