diff --git a/index.bs b/index.bs
index aa214732..a4b4919c 100644
--- a/index.bs
+++ b/index.bs
@@ -13486,7 +13486,7 @@ and must return {{undefined}}.
 <h3 id="js-platform-objects" oldids="es-platform-objects">Platform objects implementing interfaces</h3>
 
 <div algorithm>
-    A JavaScript value |value| <dfn>is a platform object</dfn> if [$Type$](|value|) is Object and
+    A JavaScript value |value| <dfn export>is a platform object</dfn> if [$Type$](|value|) is Object and
     if |value| has a \[[PrimaryInterface]] internal slot.
 </div>