fix three typos in comments