Just some typos in the documentation