AUTHORS: Mention Mario's contributions