correcting typos in the document