Small change to rest_test.php