Is this necessary? I think the default destructor would be fine here