It would be nice to figure out why we need this.