fix dtor