capitalization fix

diff --git a/AUTHORS b/AUTHORS
index b218ccb3a9c859ac2422aa8717e8dbf7b14f7a9a..8ef9938bef0582225246d1d1bdae871bb2009ed0 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -7,5 +7,5 @@ backlog that had been piling up since the departure of David.
 
 Today, there are no less than five maintainers: Akim Demaille, Paul
 Eggert, Jim Meyering, Alexandre Oliva, and Tom Tromey, especially
-helped by Lars J. Aas, Mo Dejong, Steven G. Johnson, Matthew
+helped by Lars J. Aas, Mo DeJong, Steven G. Johnson, Matthew
 D. Langston, Pavel Roskin, and many others listed in the THANKS file.