update doc

translated/issues-8.html

@@ -16,7 +16,7 @@ <h1>Algorithm Conventions</h1>
     <p>A step may specify the iterative application of its substeps.</p>
     <p>A step that begins with &ldquo;<dfn id="assert">Assert</dfn>:&rdquo; asserts an invariant condition of its algorithm. Such assertions are used to make explicit algorithmic invariants that would otherwise be implicit. Such assertions add no additional semantic requirements and hence need not be checked by an implementation. They are used simply to clarify algorithms.</p>
     <p>Algorithm steps may declare named aliases for any value using the form &ldquo;Let _x_ be _someValue_&rdquo;. These aliases are reference-like in that both _x_ and _someValue_ refer to the same underlying data and modifications to either are visible to both. Algorithm steps that want to avoid this reference-like behaviour should explicitly make a copy of the right-hand side: &ldquo;Let _x_ be a copy of _someValue_&rdquo; creates a shallow copy of _someValue_.</p>
-    <p>Once declared, an alias may be referenced in any subsequent steps and must not be referenced from steps prior to the alias's declaration. Aliases may be modified using the form &ldquo;Set _x_ to _someOtherValue_&rdquo;.</p>
+    <p>Once declared, aliases may be referenced in any subsequent steps and must not be referenced from steps prior to the alias's declaration. Aliases may be modified using the form &ldquo;Set _x_ to _someOtherValue_&rdquo;.</p>
 
     <emu-clause id=sec-algorithm-conventions-abstract-operations>
       <h1>Abstract Operations</h1>