diff --git a/arch/X86/X86IntelInstPrinter.c b/arch/X86/X86IntelInstPrinter.c
index 411c1b18..71feee7f 100644
--- a/arch/X86/X86IntelInstPrinter.c
+++ b/arch/X86/X86IntelInstPrinter.c
@@ -229,7 +229,10 @@ static void printSrcIdx(MCInst *MI, unsigned Op, SStream *O)
 static void printDstIdx(MCInst *MI, unsigned Op, SStream *O)
 {
 	// DI accesses are always ES-based.
-	SStream_concat(O, "es:[");
+	if (MI->csh->mode != CS_MODE_64)
+		SStream_concat(O, "es:[");
+	else
+		SStream_concat(O, "[");
 	printOperand(MI, Op, O);
 	SStream_concat(O, "]");
 }