Minor refinements to readme.md