Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 265)
+++ trunk/doc/design/07_devmap.html	(revision 266)
@@ -52,19 +52,19 @@
 <i>name=out</i> in symbol tagged as <i>slot=A</i> shall get attribute
 <i>pcb/pin</i> set to <i>1</i>".
 
-<p>{des7:0}
-The pin mapper registers for the terminal-name-to-port-name translation
-and in case of slotted maps, renames the ports to have the slot/termname
-form. The slot name is taken directly from the concrete symbol's <i>term</i>
-attribute.
 
 <p>{des7:0}
-The map is then searched for the terminal+slot pair; if it is found, the
+The map is then searched for the slot/terminal pair; if it is found, the
 terminal name is <a href="02_data#des2:77"> translated </a> (so that the
 right amount of ports are created in the abstract component for the
 slots) and attribute_name=value is set on the resulting port.
 
 <p>{des7:0}
+For this the pin mapper registers for the terminal-name-to-port-name
+translation and in case of slotted maps. The slot name is taken directly
+from the concrete symbol's <i>term</i> attribute.
+
+<p>{des7:0}
 If a slot/terminal pair is not found in the map, an error message is
 emitted. This happens when the schematics symbol uses a terminal that
 has no physical pin with the given device.