Update Riccardo's entry in CONTRIBUTORS