added __del__ method