fixed some typos in the documentation