I checked in a change to address this.