edited destructor