After objects have been freed, NULLify the pointers so there will be no double