Fix problem that caused some trace instructions to not be emitted.