Fixed minor bug where we didn't export things right...