Fix AUTHORS file