diff --git a/bin/all-run.sh b/bin/all-run.sh
index b9dc18949..284bf0fb5 100755
--- a/bin/all-run.sh
+++ b/bin/all-run.sh
@@ -386,7 +386,7 @@ if [[ ! -x $TOOL ]]; then
     exit 5
 fi
 
-# verify that the md2html.sh is executable
+# verify that the md2html.sh is an executable file
 #
 if [[ ! -e $MD2HTML_SH ]]; then
     echo  "$0: ERROR: md2html.sh does not exist: $MD2HTML_SH" 1>&2
diff --git a/bin/all-years.sh b/bin/all-years.sh
index bf684f124..268a96d0b 100755
--- a/bin/all-years.sh
+++ b/bin/all-years.sh
@@ -385,7 +385,7 @@ if [[ ! -x $TOOL ]]; then
     exit 5
 fi
 
-# verify that the md2html.sh is executable
+# verify that the md2html.sh is an executable file
 #
 if [[ ! -e $MD2HTML_SH ]]; then
     echo  "$0: ERROR: md2html.sh does not exist: $MD2HTML_SH" 1>&2
diff --git a/bin/gen-other-html.sh b/bin/gen-other-html.sh
index 5d4a0847f..ad5613091 100755
--- a/bin/gen-other-html.sh
+++ b/bin/gen-other-html.sh
@@ -320,7 +320,7 @@ if [[ ! -s $TOP_FILE ]]; then
     exit 6
 fi
 
-# verify that the md2html.sh is executable
+# verify that the md2html.sh is an executable file
 #
 if [[ ! -e $MD2HTML_SH ]]; then
     echo  "$0: ERROR: md2html.sh does not exist: $MD2HTML_SH" 1>&2
diff --git a/bin/gen-year-index.sh b/bin/gen-year-index.sh
index da201d1fa..6295c11e4 100755
--- a/bin/gen-year-index.sh
+++ b/bin/gen-year-index.sh
@@ -367,7 +367,7 @@ if [[ ! -s $README_FILE ]]; then
     exit 6
 fi
 
-# verify that the md2html.sh is executable
+# verify that the md2html.sh is an executable file
 #
 if [[ ! -e $MD2HTML_SH ]]; then
     echo  "$0: ERROR: md2html.sh does not exist: $MD2HTML_SH" 1>&2