diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
index 03338d3f3e01e0012a5da1a02055009d0d0cae43..494e869d14c900dbad98a96c5c0f808f408113e0 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
@@ -37,7 +37,7 @@ int eacsl_runtime_sound_verdict = 1;
 void eacsl_print_values(eacsl_assert_data_t *data) {
   eacsl_assert_data_value_t *value = data->values;
   if (value != NULL) {
-    STDERR("\tWith values:\n");
+    STDERR("\tWith values at failure point:\n");
   }
   while (value != NULL) {
     eacsl_print_value(value);