Remove unnecessary destructor