Update AUTHORS, oops.