remove now unnecessary dtor