Fix typos in the docs