Fixing an old blunder when I committed DebugKit