diff --git a/src/plugins/markdown-report/eva_coverage.ml b/src/plugins/markdown-report/eva_coverage.ml
index 70c5f4bc12f28afb23835c95ea1701d06e7e6b74..acd96c0940f1166958aa90d1b8a96ccbfd2cd1d3 100644
--- a/src/plugins/markdown-report/eva_coverage.ml
+++ b/src/plugins/markdown-report/eva_coverage.ml
@@ -49,12 +49,12 @@ let is_analyzed_function vi =
          (Mdr_params.Stubs.get())) &&
   not (List.mem vi.vname
          (String.split_on_char ','
-            (Dynamic.Parameter.String.get "-val-use-spec" ()))) &&
+            (Dynamic.Parameter.String.get "-eva-use-spec" ()))) &&
   not (List.mem vi.vname
          (List.map
             (fun s -> List.hd (String.split_on_char ':' s))
             (String.split_on_char ','
-               (Dynamic.Parameter.String.get "-val-builtin" ()))))
+               (Dynamic.Parameter.String.get "-eva-builtin" ()))))
 
 let is_analyzed_info vi info = {info with is_analyzed=is_analyzed_function vi; }
 
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index 9f0804e6d5dec278d1e71d91d290053c8cd0bdec..f364f505685c9111a0ae37430b93b8f5fea442a5 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/src/plugins/markdown-report/md_gen.ml
@@ -93,7 +93,7 @@ let section_stubs env =
       )
   in
   let stubbed_kf = List.filter Kernel_function.is_definition stubbed_kf in
-  let opt = Dynamic.Parameter.String.get "-val-use-spec" () in
+  let opt = Dynamic.Parameter.String.get "-eva-use-spec" () in
   (* NB: requires OCaml >= 4.04 *)
   let l = String.split_on_char ',' opt in
   let use_spec =