Fix instrumentor bug