diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 6b375266d773512efbc55153410260d659ad353f..6b22631ba93486086aa1d4f1f66220fd84c0bba5 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -278,7 +278,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
         let ptrSz = (Cil.sizeOf loc Cil.voidPtrType) in
         let args =
           (* Record arguments only if the first one has int type and the
-            second one is an array of char pointers of equivalent. This is
+            second one is an array of char pointers or equivalent. This is
             sufficient to capture C99 compliant arguments and GCC extensions
             with environ. *)
           match main.sformals with