A typo in target/riscv/insn32-64.decode