fixed some typos in comments; no rule changed.