Adds virtual destructor