This entire destructor can just be removed.