added destructor definintions