Minor change to smoketest.php