Minor edits in comments