Format and file name fixes, for AUTHORS.