1 files changed, 1 insertions, 1 deletions

diff --git a/AUTHORS b/AUTHORS
index 6f52b959..c2725604 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -5,7 +5,7 @@ Current Authors/Maintainers:
    Stefan Berghofer   (isar)
    Pierre Courtieu    (coq)
    Christoph Raffalli (phox)
-   Markarius Wenzel   (isar)
+   Makarius Wenzel    (isar)
  
 Previous Authors: