Removed empty destructor