Small update to CONTRIBUTORS