Minor modifications of doc/README.md