timing bug fix in OS