Fix small export bug