Small fixup for AUTHORS