Minor fix for the disassembler