Remove copy-pasted destructor.