Fix sturm (Ben Sturmfels)' attribution

diff --git a/AUTHORS b/AUTHORS
index 127b5d9d1242e0a3a0f992740de8b009b06f16dd..3c7c924f6ebb376739e0ed43bcef1e7e1a2cb2f6 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -20,6 +20,7 @@ Thank you!
 * Asheesh Laroia
 * Andrew Browning
 * Bassam Kurdali
+* Ben Sturmfels
 * Bernhard Keller
 * Berker Peksag
 * Beuc
@@ -93,7 +94,6 @@ Thank you!
 * Shawn Khan
 * Simon Fondrie-Teitler
 * Stefano Zacchiroli
-* sturm
 * thallian
 * Tiberiu C. Turbureanu
 * Tom Fay