Small changes to README.txt