Actually export it