- Correcting some errors in the instrumentation regarding typed arguments