Removed possibly problematic __del__.