diff --git a/doc/THANKS b/doc/THANKS
index 8d12c9495..ea21a8c41 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -296,6 +296,9 @@ Gabriel Lima <pato@bugnet.com.br>
 Svyatoslav Lisin <sel@3d-tech.ru>
     for suggesting a minor feature
 
+Miguel Lopes <theoverblue@gmail.com>
+    for reporting a minor bug
+
 Truong Duc Luong <luongductruong@gmail.com>
     for reporting a minor bug