destructor too then?