This should be put back, although it would be equivalent without this.