fix a problem in export.html