Discovered an opcode formatting bug, documented as for now.