virtual destructor fix