diff --git a/doc/contact.php b/doc/contact.php
index ecc85ed9ee..c3ba6cc9ca 100644
--- a/doc/contact.php
+++ b/doc/contact.php
@@ -217,6 +217,7 @@ show_name("Alex Piskun");
 show_name("Dennis Peters");
 show_name("Scott Sutherland");
 show_name("Chris Sutton");
+show_name("Sven Teirlinck");
 echo "
 </table>
 <p>