Fix typo in AUTHORS.