diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 99084b7c7dfbb720fb426de237eb97873325de75..ed6118893809152e6e23b54f9723d23657d7dff8 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -273,7 +273,7 @@ do
       OPTION_CC="$1"
       shift;
     ;;
-    # Specify EACAL_SHARE directory (where C runtime library lives) by hand
+    # Specify EACSL_SHARE directory (where C runtime library lives) by hand
     # rather than compute it
     --e-acsl-share)
       shift;
@@ -367,7 +367,7 @@ CFLAGS="$OPTION_CFLAGS
   -Wno-implicit-function-declaration \
   -Wno-empty-body"
 
-# Disable extra warning for a clang
+# Disable extra warning for clang
 if [ "`basename $CC`" = 'clang' ]; then
   CFLAGS="-Wno-unknown-warning-option \
     -Wno-extra-semi \