Removed a redundant destructor