fix bug in file.php