(minor) Fix some typos in comments.