fix error in first proof, and minor typo further down
Merge pull request #76 from jimevart/patch-1

fix error in first proof, and minor typo further down