added __del__