Update CONTRIBUTORS.txt

From 4c9e884