diff --git a/index.html b/index.html
index 07336e6..8f7b68e 100644
--- a/index.html
+++ b/index.html
@@ -1203,7 +1203,7 @@ <h4>Auxiliary algorithms and definitions</h4>
                           |transactionState|'s [=transaction state/exception=]
                           to a "{{InvalidStateError}}" {{DOMException}}.</li>
                         <li>Set
-                          |transactionState|'s [=transaction state/pendingEnd=]
+                          |transactionState|'s [=transaction state/pendingDisposition=]
                           to |disposition|.</li>
                       </ol>
                     </li>
@@ -1218,7 +1218,7 @@ <h4>Auxiliary algorithms and definitions</h4>
                     <li>If
                       |connection|.{{SmartCardConnection/[[context]]}}.{{SmartCardContext/[[operationInProgress]]}}
                       is `true`, set
-                      |transactionState|'s [=transaction state/pendingEnd=] to
+                      |transactionState|'s [=transaction state/pendingDisposition=] to
                       "{{SmartCardDisposition/leave}}".</li>
                     <li>Otherwise, [=end the transaction=] of |connection| with
                       "{{SmartCardDisposition/leave}}".</li>
@@ -1239,7 +1239,7 @@ <h4>Auxiliary algorithms and definitions</h4>
               |connection|.{{SmartCardConnection/[[transactionState]]}} is not
               `null`.</li>
             <li>[=Assert=]: |connection|.{{SmartCardConnection/[[transactionState]]}}'s
-              [=transaction state/pendingEnd=] is `null`.</li>
+              [=transaction state/pendingDisposition=] is `null`.</li>
             <li>Let |transactionPromise:Promise| be
               |connection|.{{SmartCardConnection/[[transactionState]]}}'s
               [=transaction state/promise=].</li>
@@ -1301,10 +1301,10 @@ <h4>Auxiliary algorithms and definitions</h4>
             `null`, abort these steps.</li>
             <li>Let |disposition| be
               |connection|.{{SmartCardConnection/[[transactionState]]}}'s
-              [=transaction state/pendingEnd=].</li>
+              [=transaction state/pendingDisposition=].</li>
             <li>If |disposition| is `null`, abort these steps.</li>
             <li>Set |connection|.{{SmartCardConnection/[[transactionState]]}}'s
-              [=transaction state/pendingEnd=] to `null`.</li>
+              [=transaction state/pendingDisposition=] to `null`.</li>
             <li>[=End the transaction=] of |connection| with |disposition|.</li>
           </ol>