diff --git a/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle b/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
index 561960415e8a3401df1992fd4014df08b9044e52..aca8b840d48a157a56bd7236264d137a834fd6e3 100644
--- a/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
+++ b/src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle
@@ -38,7 +38,7 @@ Assume {
   Init: A_1[2] = 12.
   (* Initializer *)
   Init: forall i : Z. ((3 <= i) -> ((i <= 19) -> (A_1[i] = 0))).
-  (* Pre-condition *)
+  (* Pre-condition 'Init' *)
   Have: EqArray_int(20, A, A_1).
 }
 Prove: x = 12.