buf fixed in TestCase.php