diff -r 045d79440a9d src/doc/docs/bitc/spec.xml
--- a/src/doc/docs/bitc/spec.xml	Tue Aug 31 17:22:11 2010 -0700
+++ b/src/doc/docs/bitc/spec.xml	Tue Sep 07 12:13:35 2010 -0700
@@ -854,7 +854,7 @@
             is always safe, it can be done in a way that is invisible to
             the programmer In fact, the parser insists that this be
             true. While it is nearly universal practice in Bitc to write
-            code without semicolons in many places, most notably:
+            code without curly braces in many places, most notably:
           </p>
           <literallayout>
 let x = 5 in <em>body</em></literallayout>
@@ -4790,7 +4790,7 @@
           <progident>tree-of</progident> is exposed by this interface.
         </p>
         <p>
-          Note further that <progident>val-type</progident> is both
+          Note further that <progident>value-type</progident> is both
           incomplete and undeclarable, because it is a value
           type. Clients may declare arguments of type
         </p>
@@ -4800,6 +4800,9 @@
           but not of type <progident>value-type</progident>, because
           the size of <progident>value-type</progident> is not
           revealed.
+
+	<font color="red">There seems to be no value-type field in sample.
+	I think it means <progident>tree-of</progident><font>
         </p>
       </sect2>
       <sect2>