fix formatting in funcs.php