Correct typos in documentation