destructor fixups