just some typos in comments