Update README.txt for #238.