small fix for export