Update CONTRIBUTORS.txt

As requested.