bugfix (crash of destructor)