diff --git a/picorv32.v b/picorv32.v
index b95f561..e7036e1 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -107,7 +107,7 @@ module picorv32 #(
 	output reg [4:0] rvfi_rs1,
 	output reg [4:0] rvfi_rs2,
 	output reg [4:0] rvfi_rd,
-	output reg [31:0] rvfi_opcode,
+	output reg [31:0] rvfi_insn,
 	output reg [31:0] rvfi_pre_pc,
 	output reg [31:0] rvfi_pre_rs1,
 	output reg [31:0] rvfi_pre_rs2,
@@ -1862,7 +1862,7 @@ module picorv32 #(
 `ifdef RISCV_FORMAL
 	always @(posedge clk) begin
 		rvfi_valid <= resetn && launch_next_insn && dbg_valid_insn;
-		rvfi_opcode <= dbg_insn_opcode;
+		rvfi_insn <= dbg_insn_opcode;
 		rvfi_rs1 <= dbg_rs1val_valid ? dbg_insn_rs1 : 0;
 		rvfi_rs2 <= dbg_rs2val_valid ? dbg_insn_rs2 : 0;
 		rvfi_pre_pc <= dbg_insn_addr;