Writing complete destructor