You don't need to modify the AUTHORS file -- doing so will just result in conflicts for other pull requests.