diff --git a/TODO b/TODO
index 0c819157..fabf6c25 100644
--- a/TODO
+++ b/TODO
@@ -224,6 +224,9 @@ YYERROR_VERBOSE?" by Simon Sobisch, on bison-help.
 This is a popular demand.  We already made many changes in the parser that
 should make this reasonably easy to implement.
 
+Bruce Mardle <marblypup@yahoo.co.uk>
+https://lists.gnu.org/archive/html/bison-patches/2015-09/msg00000.html
+
 ** Push parsers
 There is demand for push parsers in Java and C++.  And GLR I guess.
 
diff --git a/doc/bison.texi b/doc/bison.texi
index 0ab6f44e..683308cf 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -10637,7 +10637,7 @@ generate C++.
 
 @comment file: c++/simple.yy: 1
 @example
-%require "@value{VERSION}"
+%require "3.2"
 %language "c++"
 @end example