Time to alphabetize AUTHORS already or am I just bad at reading?