Minor editing of a comment.
Some minor cleaning up.