Update CONTRIBUTORS.txt

From #2224