Fixed a bug, in util/del