Minor: added a comment.