only minor fixes
Merge pull request #149 from andrew/readme_proof_read

only minor fixes