Update AUTHORS file

Changes that didn't make it into the previous commit.