Is this a mistake? I thought we explicitly decided not to do this.