fix totxt.php