diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index 8aaefcaecca96a0f90540696ca4defd6a4d44378..edb72a322e6b0a87c1d78384c227249c613d1695 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -174,7 +174,7 @@ struct
     | _ -> assert false
 
   let print fmt =
-    Format.fprintf fmt "%a" (Pretty_utils.pp_list Printer.pp_term)
+    Format.fprintf fmt "%a" (Pretty_utils.pp_list ~sep:", " Printer.pp_term)
 end
 
 module Unroll = Register (struct