I think you can just get rid of this destructor entirely, since it doesn't do anything.