A few more tiny typo fixes in the documentation