bug fix in the change of disassembly flavor