diff --git a/bochs/cpu/decoder/fetchdecode_evex.h b/bochs/cpu/decoder/fetchdecode_evex.h
index ae134ad48..7a6ab122c 100644
--- a/bochs/cpu/decoder/fetchdecode_evex.h
+++ b/bochs/cpu/decoder/fetchdecode_evex.h
@@ -1272,10 +1272,10 @@ static const BxExtOpcodeInfo_t BxOpcodeTableEVEX[256*3*2] = {
   /* DA    */ { BxPrefixSSE66, BX_IA_V512_VPMINUB_VdqHdqWdq_Kmask },
   /* DB k0 */ { BxAliasVexW | BxPrefixSSE66, BX_IA_V512_VPANDD_VdqHdqWdq },
   /* DB    */ { BxAliasVexW | BxPrefixSSE66, BX_IA_V512_VPANDD_VdqHdqWdq_Kmask },
-  /* EC k0 */ { BxPrefixSSE66, BX_IA_V512_VPADDUSB_VdqHdqWdq },
-  /* EC    */ { BxPrefixSSE66, BX_IA_V512_VPADDUSB_VdqHdqWdq_Kmask },
-  /* ED k0 */ { BxPrefixSSE66, BX_IA_V512_VPADDUSW_VdqHdqWdq },
-  /* ED    */ { BxPrefixSSE66, BX_IA_V512_VPADDUSW_VdqHdqWdq_Kmask },
+  /* DC k0 */ { BxPrefixSSE66, BX_IA_V512_VPADDUSB_VdqHdqWdq },
+  /* DC    */ { BxPrefixSSE66, BX_IA_V512_VPADDUSB_VdqHdqWdq_Kmask },
+  /* DD k0 */ { BxPrefixSSE66, BX_IA_V512_VPADDUSW_VdqHdqWdq },
+  /* DD    */ { BxPrefixSSE66, BX_IA_V512_VPADDUSW_VdqHdqWdq_Kmask },
   /* DE k0 */ { BxPrefixSSE66, BX_IA_V512_VPMAXUB_VdqHdqWdq },
   /* DE    */ { BxPrefixSSE66, BX_IA_V512_VPMAXUB_VdqHdqWdq_Kmask },
   /* DF k0 */ { BxAliasVexW | BxPrefixSSE66, BX_IA_V512_VPANDND_VdqHdqWdq },