Refinements of README.md