diff --git a/docs/index.bs b/docs/index.bs
index 91d09c11..823686a3 100644
--- a/docs/index.bs
+++ b/docs/index.bs
@@ -3086,7 +3086,7 @@ spec: webappsec-referrer-policy; urlPrefix: https://w3c.github.io/webappsec-refe
   </section>
 
   <section algorithm>
-    <h3 id="clear-registration-algorithm"><dfn>Clear Registration</dfn></h3>
+    <h3 id="clear-registration-algorithm"><dfn export>Clear Registration</dfn></h3>
 
       : Input
       :: |registration|, a [=/service worker registration=]