Fix another double deletion of a pointer in Util.cpp.