Fixup unicode in AUTHORS file