Fix AUTHORS file.