Correct a bit of documentation in README.md