Fixed some typos in the documentation

The previous pull request contained some typos in the doc. This patch fixes them.