Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 261)
+++ 07_devmap.html	(revision 262)
@@ -22,7 +22,7 @@
 <p>{des7:0} TODO: graph
 
 <p>{des7:0}
-The device mapper is an optional mechanism implemented in a core plugin. The
+The device mapper is an optional mechanism implemented in a plugin. The
 user may choose, on per symbol basis, to use hardwired pin numbers, or to not
 include the device mapper in the view at all. 
 
@@ -52,7 +52,9 @@
 
 <p>{des7:0}
 The map is then searched for the terminal+slot pair; if it is found, the
-attribute_name+value is set on the terminal.
+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}
 If a terminal+slot pair is not found in the map, an error message is