opcode spec corrected

Minor error on the encoding table