Edited .txt file

Edited the .txt file using the GitHub web interface.