Fix #235.  Update README.txt.