We should remove this comment.