Fixing typos in the docs