fix export.php