I believe this is no longer necessary, but I'm not 100% sure about this.