Bugfix: Destructor was ok as it was