#12725: fix working. Patch by Ben Hayden.
diff --git a/Doc/ACKS.txt b/Doc/ACKS.txt
index 271ece9..4f7e833 100644
--- a/Doc/ACKS.txt
+++ b/Doc/ACKS.txt
@@ -79,6 +79,7 @@
    * Travis B. Hartwell
    * Tim Hatch
    * Janko Hauser
+   * Ben Hayden
    * Thomas Heller
    * Bernhard Herzog
    * Magnus L. Hetland