deleted names in CONTRIBUTORS file