Corrected util.php