Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 3194)
+++ trunk/doc/design/07_devmap.html	(revision 3195)
@@ -112,11 +112,14 @@
 -> (attribute_name + value) pairs, each specified in the following syntax:
 <pre>
 slot/termname -&gt; attribkey=value
+or
+termname -&gt; attribkey=value
 </pre>
 
 <p>{des7:14} E.g. "<code>A/out -&gt; pcb/pinnum=1</code>" means "terminal with 
 <i>name=out</i> in symbol tagged as <i>slot=A</i> shall get attribute
-<i>pcb/pinnum</i> set to <i>1</i>".
+<i>pcb/pinnum</i> set to <i>1</i>". Equivalent non-slotted example is
+"<code>out -&gt; pcb/pinnum=1</code>"
 
 
 <p>{des7:15}