Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 283)
+++ 07_devmap.html	(revision 284)
@@ -109,9 +109,9 @@
 slot/termname -> attribkey=value
 </pre>
 
-<p>{des7:14} E.g. "A/out -&gt; pcb/pin=1" means "terminal with 
+<p>{des7:14} E.g. "A/out -&gt; pcb/pinnum=1" means "terminal with 
 <i>name=out</i> in symbol tagged as <i>slot=A</i> shall get attribute
-<i>pcb/pin</i> set to <i>1</i>".
+<i>pcb/pinnum</i> set to <i>1</i>".
 
 
 <p>{des7:15}