Fix disassembly debug output