bugfix file.php