Fix util.php