correcting typos in user docs