export.py: fix a small bug and modify the title