Oops, fixed error in util.c