--- a/Overview.html	Fri Nov 22 16:12:36 2013 +0900
+++ b/Overview.html	Fri Nov 22 16:23:00 2013 +0900
@@ -2203,10 +2203,8 @@
      <a class="external" href="http://www.w3.org/html/wg/drafts/html/master/syntax.html#a-known-definite-encoding">a known definite encoding</a> <var>charset</var>.
      <a href="#refsHTML">[HTML]</a>
 
-     <li><p>Set <var title="">document</var>'s
-     <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-encoding" title="concept-document-encoding">encoding</a>
-     to <var>charset</var>.
-     <!-- This might be redundant with HTML. -->
+     <li><p>Flag <var title="">document</var> as an
+     <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#html-document">HTML document</a>.
     </ol>
 
    <li>
@@ -2222,7 +2220,13 @@
     executed, resources referenced will not be loaded and no associated XSLT
     will be applied.</p> <!-- XXX more formally?! -->
 
-   <!-- XXX what about document's encoding? -->
+   <li><p>If <var>charset</var> is null, set <var>charset</var> to
+   <a class="external" href="http://encoding.spec.whatwg.org/#utf-8">utf-8</a>.
+   <!-- can only happen in the XML case -->
+
+   <li><p>Set <var title="">document</var>'s
+   <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-encoding" title="concept-document-encoding">encoding</a> to
+   <var>charset</var>.
 
    <li><p>Set <var title="">document</var>'s
    <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-content-type" title="concept-document-content-type">content type</a>

--- a/Overview.src.html	Fri Nov 22 16:12:36 2013 +0900
+++ b/Overview.src.html	Fri Nov 22 16:23:00 2013 +0900
@@ -2212,10 +2212,8 @@
      <span data-anolis-spec=html>a known definite encoding</span> <var>charset</var>.
      <span data-anolis-ref>HTML</span>
 
-     <li><p>Set <var title>document</var>'s
-     <span data-anolis-spec=dom title=concept-document-encoding>encoding</span>
-     to <var>charset</var>.
-     <!-- This might be redundant with HTML. -->
+     <li><p>Flag <var title>document</var> as an
+     <span data-anolis-spec=dom>HTML document</span>.
     </ol>
 
    <li>
@@ -2231,7 +2229,13 @@
     executed, resources referenced will not be loaded and no associated XSLT
     will be applied.</p> <!-- XXX more formally?! -->
 
-   <!-- XXX what about document's encoding? -->
+   <li><p>If <var>charset</var> is null, set <var>charset</var> to
+   <span data-anolis-spec=encoding>utf-8</span>.
+   <!-- can only happen in the XML case -->
+
+   <li><p>Set <var title>document</var>'s
+   <span data-anolis-spec=dom title=concept-document-encoding>encoding</span> to
+   <var>charset</var>.
 
    <li><p>Set <var title>document</var>'s
    <span data-anolis-spec=dom title=concept-document-content-type>content type</span>

--- a/xhr-1/Overview.html	Fri Nov 22 16:12:36 2013 +0900
+++ b/xhr-1/Overview.html	Fri Nov 22 16:23:00 2013 +0900
@@ -2178,10 +2178,8 @@
      <a class="external" href="http://www.w3.org/html/wg/drafts/html/master/syntax.html#a-known-definite-encoding">a known definite encoding</a> <var>charset</var>.
      <a href="#refsHTML">[HTML]</a>
 
-     <li><p>Set <var title="">document</var>'s
-     <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-encoding" title="concept-document-encoding">encoding</a>
-     to <var>charset</var>.
-     <!-- This might be redundant with HTML. -->
+     <li><p>Flag <var title="">document</var> as an
+     <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#html-document">HTML document</a>.
     </ol>
 
    <li>
@@ -2197,7 +2195,13 @@
     executed, resources referenced will not be loaded and no associated XSLT
     will be applied.</p> <!-- XXX more formally?! -->
 
-   <!-- XXX what about document's encoding? -->
+   <li><p>If <var>charset</var> is null, set <var>charset</var> to
+   <a class="external" href="http://encoding.spec.whatwg.org/#utf-8">utf-8</a>.
+   <!-- can only happen in the XML case -->
+
+   <li><p>Set <var title="">document</var>'s
+   <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-encoding" title="concept-document-encoding">encoding</a> to
+   <var>charset</var>.
 
    <li><p>Set <var title="">document</var>'s
    <a class="external" href="http://dev.w3.org/2006/webapi/DOM4Core/#concept-document-content-type" title="concept-document-content-type">content type</a>

--- a/xhr-1/Overview.src.html	Fri Nov 22 16:12:36 2013 +0900
+++ b/xhr-1/Overview.src.html	Fri Nov 22 16:23:00 2013 +0900
@@ -2187,10 +2187,8 @@
      <span data-anolis-spec=html>a known definite encoding</span> <var>charset</var>.
      <span data-anolis-ref>HTML</span>
 
-     <li><p>Set <var title>document</var>'s
-     <span data-anolis-spec=dom title=concept-document-encoding>encoding</span>
-     to <var>charset</var>.
-     <!-- This might be redundant with HTML. -->
+     <li><p>Flag <var title>document</var> as an
+     <span data-anolis-spec=dom>HTML document</span>.
     </ol>
 
    <li>
@@ -2206,7 +2204,13 @@
     executed, resources referenced will not be loaded and no associated XSLT
     will be applied.</p> <!-- XXX more formally?! -->
 
-   <!-- XXX what about document's encoding? -->
+   <li><p>If <var>charset</var> is null, set <var>charset</var> to
+   <span data-anolis-spec=encoding>utf-8</span>.
+   <!-- can only happen in the XML case -->
+
+   <li><p>Set <var title>document</var>'s
+   <span data-anolis-spec=dom title=concept-document-encoding>encoding</span> to
+   <var>charset</var>.
 
    <li><p>Set <var title>document</var>'s
    <span data-anolis-spec=dom title=concept-document-content-type>content type</span>