Fixing up bad export