more instr formatting