fixed a bug with instrumenting empty procs