Fix several typos in the docs