Minor edits of the comments (style, typos).