Completed destructor