diff --git a/lib/m2/x86/x86_defs.M1 b/lib/m2/x86/x86_defs.M1
index 824e8964..d411ac1d 100644
--- a/lib/m2/x86/x86_defs.M1
+++ b/lib/m2/x86/x86_defs.M1
@@ -36,8 +36,8 @@ DEFINE COPY_esp_to_ebp 89E5
 DEFINE COPY_esp_to_ecx 89E1
 DEFINE COPY_esp_to_edi 89E7
 DEFINE CDTQ 99
-DEFINE DIVIDE_eax_by_ebx_into_eax F7FB
-DEFINE DIVIDES_eax_by_ebx_into_eax F7F3
+DEFINE DIVIDE_eax_by_ebx_into_eax F7F3
+DEFINE DIVIDES_eax_by_ebx_into_eax F7FB
 DEFINE INT_80 CD80
 DEFINE JUMP E9
 DEFINE JUMP_EQ 0F84
@@ -59,8 +59,8 @@ DEFINE LOAD_INTEGER 8B00
 DEFINE LOAD_INTEGER_ebx 8B1B
 DEFINE LOAD_INTEGER_ecx 8B09
 DEFINE LOAD_INTEGER_edx 8B12
-DEFINE MODULUS_eax_from_ebx_into_ebx F7FB
-DEFINE MODULUSS_eax_from_ebx_into_ebx F7F3
+DEFINE MODULUS_eax_from_ebx_into_ebx F7F3
+DEFINE MODULUSS_eax_from_ebx_into_ebx F7FB
 DEFINE MOVEZBL 0FB6C0
 DEFINE MOVE_ebx_to_eax 89D8
 DEFINE MOVE_ecx_to_eax 89C8