diff --git a/index b/index
index 1385861ce35..ddc19f279a9 100644
--- a/index
+++ b/index
@@ -24,7 +24,7 @@
 
    <h1 id="web-applications">Web Applications 1.0</h1>
 
-   <h2 class="no-num no-toc" id="working">Working Draft &mdash; 20 July 2006</h2>
+   <h2 class="no-num no-toc" id="working">Working Draft &mdash; 21 July 2006</h2>
 
    <p>You can take part in this work. <a
     href="http://www.whatwg.org/mailing-list">Join the working group's
@@ -19574,8 +19574,8 @@ function receiver(e) {
        <dt>An end tag with the tag name "html"
 
        <dd>
-        <p>Switch to <span><a href="#the-trailing1">the trailing end
-         phase</a></span>.</p>
+        <p>Act as if a start tag token with the tag name "head" and no
+         attributes had been seen, then reprocess the current token.</p>
 
        <dt>Any other end tag
 
@@ -19907,6 +19907,8 @@ function receiver(e) {
         <p>Change the <span><a href="#insertion">insertion mode</a></span> to
          "after body".</p>
 
+       <dt>An end tag with the tag name "html"
+
        <dt>An end-of-file token
 
        <dd>
diff --git a/source b/source
index 15f33331f9f..1b039d4acf1 100644
--- a/source
+++ b/source
@@ -17674,7 +17674,11 @@ function receiver(e) {
 
        <dt>An end tag with the tag name "html"</dt>
        <dd>
-        <p>Switch to <span>the trailing end phase</span>.</p>
+
+        <p>Act as if a start tag token with the tag name "head" and no
+        attributes had been seen, then reprocess the current
+        token.</p>
+
        </dd>
 
        <dt>Any other end tag</dt>
@@ -17861,7 +17865,9 @@ function receiver(e) {
 
        <dt>An end tag with the tag name "html"</dt>
        <dd>
+
         <p>Act as described in the "anything else" entry below.</p>
+
        </dd>
 
        <dt>A start tag with the tag name "head"</dt>
@@ -18011,6 +18017,7 @@ function receiver(e) {
         <p>Change the <span>insertion mode</span> to "after body".</p>
        </dd>
 
+       <dt>An end tag with the tag name "html"</dt>
        <dt>An end-of-file token</dt>
        <dd>
         <p>Act as if an end tag with tag name "body" had been seen,