diff --git a/index.bs b/index.bs
index 921b2ead..71c0743c 100644
--- a/index.bs
+++ b/index.bs
@@ -14589,7 +14589,8 @@ must propagate to the caller, and if
 not caught there, to its caller, and so on.
 
 Per [[#conventions]], an algorithm specified in this document may intercept thrown exceptions, either by specifying
-the exact steps to take if <dfn>an exception was thrown</dfn>, or by explicitly handling [=abrupt completions=].
+the exact steps to take if <dfn export>an exception was thrown</dfn>, or by explicitly handling
+[=abrupt completions=].
 
 <div class="example" id="example-17059fd2">