Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 267)
+++ trunk/doc/design/07_devmap.html	(revision 268)
@@ -11,7 +11,7 @@
 	     their pin numbers from pin names (problem known as the "transistor problem")
 	<li> multiple symbols to represent different parts of one physical
 	     footprint or simulation model (problem known as "slotting")
-<ul>
+</ul>
 
 <p>{des7:0}
 These goals are achieved by using symbolic terminal names (instead
@@ -46,7 +46,7 @@
 -&gt; (attribute_name + value) pairs, each specified in the following syntax:
 <pre>
 slot/termname -&gt; attribkey=value
-<pre>
+</pre>
 
 <p>{des7:0} E.g. "A/out -&gt; pcb/pin=1" means "terminal with 
 <i>name=out</i> in symbol tagged as <i>slot=A</i> shall get attribute