Minor: removed comment.