Correct some typos in documentation