AUTHORS: Mention Martin's contributions