update CONTRIBUTORS.txt