do we still need this destructor? I think it would be safe to remove it fully