Fix a bug with import/export