Fix disassembly listing