Proof read corrections

Typo corrections after a proof read from Gideon.