fix an error of the file.php