Fix a bug in instrumenter