Add a remark above this block explaining why we do this.