Minor edits

Minor edits in the code comments.