diff --git a/doc/CREDITS b/doc/CREDITS
index 618183979..e8b0ea5c2 100644
--- a/doc/CREDITS
+++ b/doc/CREDITS
@@ -92,6 +92,7 @@ Thanks to
     Mark Nasgowitz <MNasgowitz@NAZdesign.com>
     Piotr Fusik <P.Fusik@elka.pw.edu.pl>
     Robert R. Wal <rrw@reptile.eu.org>
+    Stefan A. Haubenthal <polluks@web.de>
     Tim Vanderhoek <hoek@FreeBSD.org>
 
 for bug reports and suggestions.