Minor: cosmetical changes to README.md