fixing some typos in comments