diff --git a/doc/THANKS b/doc/THANKS
index f4e5b70f1..debc9d1e5 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -107,6 +107,9 @@ Alan Franzoni <alan.franzoni@gmail.com>
 Daniel G. Gamonal <lgrecol@gmail.com>
     for reporting a minor bug
 
+Marcos Mateos Garcia <mmateos@germinus.com>
+    for reporting a minor bug
+
 Ivan Giacomelli <truemilk@insiberia.net>
     for reporting a bug
     for suggesting a minor enhancement