Appended name to CONTRIBUTORS.txt