Update to CONTRIBUTORS.txt