Fix indentation in util.php.