diff --git a/AUTHORS b/AUTHORS
index b84fa41b0a..355a11021c 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -140,6 +140,7 @@ Also thanks to:
     * Tim Mylemans (gecko)
     * Tirili
     * Tomas Einarsson (Mesacer)
+    * Tom van Leth (tovl)
     * Tristan Keating (Kilkakon)
     * Tristan Mühlbacher (MicroBit)
     * UnknownProgrammer