README.md: small refinements