Corrections to doc/README.md