Cosmetic improvements to README.md