correcting three typos in comments