Remove now-redundant comment.