Fixes for export.py