Some fixes to AUTHORS file.