Fix a conditional within Util.cpp. Prevents deleting an already deleted pointer.