fixed a typo in the prettyprinter which was leading to false-positive illegal opcodes.