removed empty destructor