Title: the destructor