Then we should add a comment for this.