Small clean-up in README.md.