Fixed destructor