bug fix in instrumenter