Apparently, @roc says we don't need this.