Fix minor typos in the docs