Fix incomplete debug instrumentation. Oops.