Re: Error: ID space not empty at destruction time