trivial modifications to README.md