Fixed a glitch in the disassembly output.