--- a/Overview.html	Mon Nov 12 17:43:42 2012 +0900
+++ b/Overview.html	Mon Nov 12 17:50:46 2012 +0900
@@ -909,7 +909,7 @@
 
    <li>
     <p>If the <var title="">user</var> argument was not omitted follow these
-    sub steps:</p>
+    substeps:</p>
 
     <ol>
      <li><p>If <var title="">user</var> is not null and the
@@ -929,7 +929,7 @@
 
    <li>
     <p>If the <var title="">password</var> argument was not omitted follow
-    these sub steps:</p>
+    these substeps:</p>
 
     <ol>
      <li><p>If <var title="">password</var> is not null and the

--- a/Overview.src.html	Mon Nov 12 17:43:42 2012 +0900
+++ b/Overview.src.html	Mon Nov 12 17:50:46 2012 +0900
@@ -873,7 +873,7 @@
 
    <li>
     <p>If the <var title>user</var> argument was not omitted follow these
-    sub steps:</p>
+    substeps:</p>
 
     <ol>
      <li><p>If <var title>user</var> is not null and the
@@ -893,7 +893,7 @@
 
    <li>
     <p>If the <var title>password</var> argument was not omitted follow
-    these sub steps:</p>
+    these substeps:</p>
 
     <ol>
      <li><p>If <var title>password</var> is not null and the