diff --git a/bin/subst.entry-navbar.awk b/bin/subst.entry-navbar.awk
index 97e6a2dce..d97919bd4 100755
--- a/bin/subst.entry-navbar.awk
+++ b/bin/subst.entry-navbar.awk
@@ -143,7 +143,7 @@ END {
     #
     if (length(entry_path) == 0) {
 	print "-e";
-	print "'ERROR: github variable not set, call with -v github=REPO_URL'";
+	print "ERROR: github variable not set, call with -v github=REPO_URL";
 	print "-E";
 	print "210";		# use 210 to match length(entry_path) == 0 error in the BEGIN section
 	exit 210;		# use 210 to match length(entry_path) == 0 error in the BEGIN section