diff --git a/README.asciidoc b/README.asciidoc
index 8204391ae..e80267562 100644
--- a/README.asciidoc
+++ b/README.asciidoc
@@ -157,6 +157,7 @@ Contributors, sorted by the number of commits in descending order:
 * Jimmy
 * skinnay
 * Zach-Button
+* Halfwit
 * Felix Van der Jeugt
 * rikn00
 * Patric Schmitz
diff --git a/scripts/dev/src2asciidoc.py b/scripts/dev/src2asciidoc.py
index 3b3124d41..57257ed57 100755
--- a/scripts/dev/src2asciidoc.py
+++ b/scripts/dev/src2asciidoc.py
@@ -389,6 +389,7 @@ def _get_authors():
         'binix': 'sbinix',
         'Averrin': 'Alexey "Averrin" Nabrodov',
         'Alexey Nabrodov': 'Alexey "Averrin" Nabrodov',
+        'Michael': 'Halfwit',
     }
     commits = subprocess.check_output(['git', 'log', '--format=%aN'])
     authors = [corrections.get(author, author)