--- a/Overview.html	Fri May 04 10:40:12 2012 -0700
+++ b/Overview.html	Mon May 14 14:31:16 2012 +0200
@@ -40,7 +40,7 @@
 
    <h1 class="head" id="xmlhttprequest-ls">XMLHttpRequest</h1>
 
-   <h2 class="no-num no-toc" id="w3c-doctype">Editor's Draft 4 May 2012</h2>
+   <h2 class="no-num no-toc" id="w3c-doctype">Editor's Draft 14 May 2012</h2>
 
    <dl>
     <dt>This Version:</dt>
@@ -370,7 +370,7 @@
   "document",
   "json",
   "text"
-}
+};
 
 [<a href="#dom-xmlhttprequest" title="dom-XMLHttpRequest">Constructor</a>]
 interface <dfn id="xmlhttprequest">XMLHttpRequest</dfn> : <a href="#xmlhttprequesteventtarget">XMLHttpRequestEventTarget</a> {

--- a/Overview.src.html	Fri May 04 10:40:12 2012 -0700
+++ b/Overview.src.html	Mon May 14 14:31:16 2012 +0200
@@ -380,7 +380,7 @@
   "document",
   "json",
   "text"
-}
+};
 
 [<span title="dom-XMLHttpRequest">Constructor</span>]
 interface <dfn id="xmlhttprequest">XMLHttpRequest</dfn> : <span>XMLHttpRequestEventTarget</span> {