Fix errors in simpletest.php