added destructor's definition