Update CONTRIBUTORS.txt

As requested in #1792