diff --git a/riscv/execute.h b/riscv/execute.h
index 69bdeb05..15f90efc 100644
--- a/riscv/execute.h
+++ b/riscv/execute.h
@@ -480,12 +480,12 @@ switch((insn.bits >> 0x19) & 0x7f)
       }
       case 0x2:
       {
-        #include "insns/slei.h"
+        #include "insns/slti.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/sleiu.h"
+        #include "insns/sltiu.h"
         break;
       }
       case 0x4:
diff --git a/riscv/insns/slei.h b/riscv/insns/slei.h
deleted file mode 100644
index 2f4fe290..00000000
--- a/riscv/insns/slei.h
+++ /dev/null
@@ -1 +0,0 @@
-RA = !(sreg_t(cmp_trunc(SIMM)) < sreg_t(cmp_trunc(RB)));
diff --git a/riscv/insns/sleiu.h b/riscv/insns/sleiu.h
deleted file mode 100644
index 2519eb45..00000000
--- a/riscv/insns/sleiu.h
+++ /dev/null
@@ -1 +0,0 @@
-RA = !(cmp_trunc(SIMM) < cmp_trunc(RB));
diff --git a/riscv/insns/slti.h b/riscv/insns/slti.h
new file mode 100644
index 00000000..a5ef31ed
--- /dev/null
+++ b/riscv/insns/slti.h
@@ -0,0 +1 @@
+RA = sreg_t(cmp_trunc(RB)) < sreg_t(cmp_trunc(SIMM));
diff --git a/riscv/insns/sltiu.h b/riscv/insns/sltiu.h
new file mode 100644
index 00000000..a09f3ecb
--- /dev/null
+++ b/riscv/insns/sltiu.h
@@ -0,0 +1 @@
+RA = cmp_trunc(RB) < cmp_trunc(SIMM);