diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 07882082436779d1bdcc103400f8c2a17e6a408a..a3e786decd721da310af3bfd8ac5befb6d198754 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -25,7 +25,7 @@
 # Convenience wrapper for small runs of E-ACSL Frama-C plugin
 
 # Print a message to STDERR and exit. If the second argument (exit code)
-# if provided and it is '0' then do nothing.
+# is provided and it is '0' then do nothing.
 error () {
   if [ -z "$2" ] || ! [ "$2" = 0 ]; then
     echo "e-acsl-gcc: fatal error: $1" 1>&2