Small changes in [InstrTracer.cpp]: