diff --git a/doc/ack.texi b/doc/ack.texi
index 8d2fbfd43..a2799404f 100644
--- a/doc/ack.texi
+++ b/doc/ack.texi
@@ -52,6 +52,7 @@ Bugfixes, documentation, encouragement, and code has been contributed by:
 @item Mario Strasser
 @item David Love
 @item Björn Sandell
+@item Michael B Allen
 @item and we hope that those not mentioned here will forgive us.
 @end table