renamed destructor; updated examples