Fix typo in AUTHORS.
Merge pull request #2502 from waywardmonkeys/fix-AUTHORS-typo

Fix typo in AUTHORS.