don't check object pointer before deleting /Markus Elfring