diff --git a/evm/src/cpu/kernel/asm/fields/fp12_mul.asm b/evm/src/cpu/kernel/asm/fields/fp12_mul.asm
index 0037f832..2f4b9024 100644
--- a/evm/src/cpu/kernel/asm/fields/fp12_mul.asm
+++ b/evm/src/cpu/kernel/asm/fields/fp12_mul.asm
@@ -25,8 +25,7 @@
 ///     %jump(mul_Fp12)
 /// ret_stack:
 ///     // stack:          out
-///     DUP1
-///     %add_const(6)
+///     DUP1  %add_const(6)
 ///     // stack:    out', out
 ///     %load_fp6
 ///     // stack:      h', out