Uncomment destructor.