Fix export bug (#3)
