minor fixes in AUTHORS file