Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 264)
+++ 07_devmap.html	(revision 265)
@@ -53,9 +53,10 @@
 <i>pcb/pin</i> set to <i>1</i>".
 
 <p>{des7:0}
-The pin mapper iterates over all
-ports of the abstract component and traces back the concrete symbol
-its temrinal name is coming from. The slot name is taken from that symbol.
+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