AUTHORS is updated.