Fix OBS destructor