<tt>call DAG.setGraphColor(<i>node</i>, "<i>color</i>")</tt>, then the
next <tt>call DAG.viewGraph()</tt> would hilight the node in the
specified color (choices of colors can be found at <a
-href="http://www.graphviz.org/doc/info/colors.html">Colors<a>.) More
+href="http://www.graphviz.org/doc/info/colors.html">colors</a>.) More
complex node attributes can be provided with <tt>call
DAG.setGraphAttrs(<i>node</i>, "<i>attributes</i>")</tt> (choices can be
found at <a href="http://www.graphviz.org/doc/info/attrs.html">Graph
</ul>
</dd>
<dt><tt>PointerType</tt></dt>
- <dd>Subclass of SequentialType for pointer types.</li>
+ <dd>Subclass of SequentialType for pointer types.</dd>
<dt><tt>PackedType</tt></dt>
<dd>Subclass of SequentialType for packed (vector) types. A
packed type is similar to an ArrayType but is distinguished because it is