Bugfix in the opcode translator: After processing a jump (JML, JMA) operand, end of string was checked on wrong position.