modify export.py