#823: README.md, minor language change