Yet more corrections to doc/README.md