fixing up the instrumentation header spec.