Added a destructor