bug fix in disassembler