diff --git a/NEWS b/NEWS
index d42ada62..e39a4c05 100644
--- a/NEWS
+++ b/NEWS
@@ -19,7 +19,7 @@ GNU Bison NEWS
   Contributed by Vincent Imbimbo.
 
   When given `-Wcounterexamples`/`-Wcex`, bison will now output
-  counterexamples for conflicts in the grammar.
+  counterexamples for conflicts.
 
 **** Unifying Counterexamples
 
diff --git a/doc/bison.texi b/doc/bison.texi
index 115c111c..8c8580de 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -11586,7 +11586,8 @@ releases of Bison may move warnings from this category to new, more specific
 categories.
 
 @item @anchor{Wall}all
-All the warnings except @code{dangling-alias} and @code{yacc}.
+All the warnings except @code{counterexamples}, @code{dangling-alias} and
+@code{yacc}.
 
 @item @anchor{Wnone}none
 Turn off all the warnings.