merge: remove buggous lines from export.php