diff --git a/AUTHORS b/AUTHORS
index 966ed0f73..c4bccb6a8 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -188,6 +188,7 @@ Many other changes throughout.
 Greg Badros:
 In the subdirectory doc, changes to:
     data-rep.texi
+Many changes throughout.
 
 Neil Jerram:
 In the subdirectory ice-9, wrote: