Minor edits to comments.