Remove now redundant comment.