diff --git a/THANKS b/THANKS
index 7254bb3f..3ce973fe 100644
--- a/THANKS
+++ b/THANKS
@@ -3,6 +3,7 @@ it is today without the invaluable help of these people:
 
 Aaro Koskinen             aaro.koskinen@iki.fi
 Аскар Сафин               safinaskar@mail.ru
+Adam Sampson              ats@offog.org
 Airy Andre                Airy.Andre@edf.fr
 Akim Demaille             akim@lrde.epita.fr
 Albert Chin-A-Young       china@thewrittenword.com
diff --git a/doc/bison.texi b/doc/bison.texi
index 683308cf..275332ca 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -11810,6 +11810,7 @@ then the parser's to get the set of defined tokens.
 # include <cerrno>
 # include <climits>
 # include <cstdlib>
+# include <cstring> // strerror
 # include <string>
 # include "driver.hh"
 # include "parser.hh"