Trivial edit to README.txt