Cleaned destructor