Some typos in the docs