This is superfluous - we already did this.