prepend url type to target URL

w3c · Nov 8, 2022 · 82fdb34 · 82fdb34
1 parent 08f72d7
commit 82fdb34
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -2261,7 +2261,7 @@ <h3>
           <dfn data-lt="launching a web application" data-export="">launch a web
           application</dfn> is given by the following algorithm. The algorithm
           takes a [=Document/processed manifest=] |manifest:processed manifest|,
-          an optional |target URL:URL|, an optional [=POST resource=]
+          an optional [=URL=] |target URL:URL|, an optional [=POST resource=]
           |POST resource| and returns an [=application context=].
         </p>
         <p>
@@ -2291,7 +2291,7 @@ <h3>
           The steps to <dfn data-export="">create a new application context
           </dfn> is given by the following algorithm. The algorithm takes a
           [=Document/processed manifest=] |manifest:processed manifest|,
-          an optional |target URL:URL|, an optional [=POST resource=]
+          an optional [=URL=] |target URL:URL|, an optional [=POST resource=]
           |POST resource| and returns an [=application context=].
         </p>
         <ol class="algorithm">