fix some typos (different than pull request #2)