Fix bad export