Trivial changes to README.md