Minor modifications to README.doc