fix tests.php