I think the destructor can be simply skipped here