AUTHORS got alphabetical again