OTHER: Update AUTHORS a bit.