Removed redundant destructor