diff --git a/KLR/Trace/ISA.lean b/KLR/Trace/ISA.lean
index dc3b80c8..e7a2d961 100644
--- a/KLR/Trace/ISA.lean
+++ b/KLR/Trace/ISA.lean
@@ -455,7 +455,7 @@ nki builtin.isa.tensor_scalar_reduce
  (reduce_op : AluOp)
  (reduce_res : Access)
  (reverse0 : Bool := false)
- (reduce_cmd : AccumCmd := .Zero)
+ (reduce_cmd : AccumCmd := .ZeroAccumulate)
  (reduce_init : Option Immediate := none)
  (mask : Option Immediate := none)
  (name : Option String := none) := do