destructor now brought in in stead of ‘destroy’ function