1 files changed, 1 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index a0877e36..6f52b959 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -13,9 +13,9 @@ Previous Authors:
    Thomas Kleymann   (lego, doc, generic)
    Patrick Loiseleur (coq)
    Dilip Sequeira    (lego)
+   David von Oheimb  (x-symbol)
 
 Assistance also from:
 
-   David von Oheimb  (x-symbol)
    Graham Dutton     (web support)