AUTHORS should be alphabetized