#733: README.md, minor language change