Still more corrections to doc/README.md