Corrections/additions to README.txt