fix bug in the static instrumentation