Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 745)
+++ trunk/doc/design/07_devmap.html	(revision 746)
@@ -51,7 +51,7 @@
 <h2> 7.1. Slot prefixing </h2>
 
 <p>{des7:5}
-<code>std_devmap</code> registers for the <a href="02_data.html#des2:77">terminal-name-to-port-name
+<code>std_devmap</code> registers for the <a href="02_data.html#des2:77">terminal_name_to_port_name
 translation</a>.
 
 <p>{des7:6}