even this is unnecessary in the dtor