defined destructor