Fix typos in the documentation