Fixing a few errors in util.php test cases