Fixed destructor, I think