diff --git a/ChangeLog b/ChangeLog
index d9cf543..f29b6f3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2021-05-22  Jacob Bachmeyer  <jcb@gnu.org>
 
+	* dejagnu: Fix error message.
+
 	* config.guess: Import patched version; patches sent upstream.
 
 2021-05-20  Jacob Bachmeyer  <jcb@gnu.org>
diff --git a/dejagnu b/dejagnu
index b3948a8..8ddc59b 100755
--- a/dejagnu
+++ b/dejagnu
@@ -428,7 +428,7 @@ fi
 # Are we just looking for a usage message?
 if $want_help ; then
     if $have_awk; then : ; else
-	echo ERROR: extracting help message requires POSIX Awk; not found
+	echo ERROR: extracting help message requires POSIX Awk
 	exit 2
     fi
     if test -z "$command" ; then