Fix bug found in obs3