See __del__.