diff --git a/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs b/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
index 33715b67293..e3298532ce0 100644
--- a/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
+++ b/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
@@ -128,10 +128,14 @@ pub(crate) enum TerminatorInstruction {
     ///
     /// Jump If
     ///
-    /// Jumps to the specified `destination` with
-    /// arguments, if the condition
-    /// if the condition is true.
-    JmpIf { condition: ValueId, destination: BasicBlockId, arguments: BlockArguments },
+    /// If the condition is true: jump to the specified `then_destination` with `arguments`.
+    /// Otherwise, jump to the specified `else_destination` with `arguments`.
+    JmpIf {
+        condition: ValueId,
+        then_destination: BasicBlockId,
+        else_destination: BasicBlockId,
+        arguments: BlockArguments,
+    },
     /// Unconditional Jump
     ///
     /// Jumps to specified `destination` with `arguments`