Added virtual destructor ...