fix typo in util.php