fixing diff.php