Minor disassembler improvement; instruction set docs reformatting