Fix the AUTHORS file.