diff --git a/doc/value/examples/parametrizing/context-width.log b/doc/value/examples/parametrizing/context-width.log
index c586ab0c3b57b65077801e1f27d8eb031532480b..2c2a17ed50eee7a3fc2138b804f596f2f3a75364 100644
--- a/doc/value/examples/parametrizing/context-width.log
+++ b/doc/value/examples/parametrizing/context-width.log
@@ -6,7 +6,7 @@
   
 [eva] context-width.c:3: 
   Frama_C_dump_each:
-  # Cvalue domain:
+  # cvalue:
   t ∈ {{ NULL ; &S_t[0] }}
   S_t[0] ∈ {{ NULL ; &S_0_S_t[0] }}
      [1] ∈ {{ NULL ; &S_1_S_t[0] }}
diff --git a/doc/value/examples/parametrizing/loop-unroll-insuf.log b/doc/value/examples/parametrizing/loop-unroll-insuf.log
index 6478cadfa123687fb56495c0684d673d42724499..307575ced9d4ee18cc15f976f59df6e74c710ab3 100644
--- a/doc/value/examples/parametrizing/loop-unroll-insuf.log
+++ b/doc/value/examples/parametrizing/loop-unroll-insuf.log
@@ -4,7 +4,7 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   
-[eva:loop-unroll] loop-unroll-insuf.c:4: loop not completely unrolled
+[eva:loop-unroll:partial] loop-unroll-insuf.c:4: loop not completely unrolled
 [eva] loop-unroll-insuf.c:4: starting to merge loop iterations
 [eva] done for function main
 [eva] ====== VALUES COMPUTED ======
diff --git a/doc/value/examples/parametrizing/simple-main.log b/doc/value/examples/parametrizing/simple-main.log
index 63b112ec39394c71a88c5f29323ccf83fe27c333..71c155f9e5f493763f954c7f48698ec754cb89ad 100644
--- a/doc/value/examples/parametrizing/simple-main.log
+++ b/doc/value/examples/parametrizing/simple-main.log
@@ -6,7 +6,7 @@
   
 [eva] simple-main.c:3: 
   Frama_C_dump_each:
-  # Cvalue domain:
+  # cvalue:
   argc ∈ [--..--]
   argv ∈ {{ NULL ; &S_argv[0] }}
   __retres ∈ UNINITIALIZED