should not have deleted the allocator - it is used