@destructor() method