Removed undefined destructor