Fix a few typos
Merge pull request #641 from certik/patch-1

Fix a few typos