I think we can remove this comment.