Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 272)
+++ 07_devmap.html	(revision 273)
@@ -19,7 +19,7 @@
 the terminal names into port numbers. The following diagram demonstrates
 the process:
 
-<p>{des7:0} TODO: graph
+<p><img src="07_diag.svg">
 
 <p>{des7:0}
 The device mapper is an optional mechanism implemented in a plugin. The
@@ -30,7 +30,7 @@
 The device mapper has three major features: slotting name translation,
 pin mapping and device mapping.
 
-<h2> 7.1. Slotting </h2>
+<h2> 7.1. Slot prefixing </h2>
 
 <p>{des7:0}
 Devmap registers for the <a href="02_data#des2:77">terminal-name-to-port-name