Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 770)
+++ trunk/doc/design/07_devmap.html	(revision 771)
@@ -48,8 +48,6 @@
 It is possible to use features of this plugin selectively and/or replace
 some or all features using another plugin.
 
-<h2> 7.1. Slot prefixing </h2>
-
 <p>{des7:5}
 <code>std_devmap</code> registers for:
 <ul>
@@ -57,6 +55,8 @@
 	<li> the <a href="02_data.html#des2:77">terminal_name_to_port_name translation hook</a> (for setting port names according to devmap)
 </ul>
 
+<h2> 7.1. Slot prefixing </h2>
+
 <p>{des7:6}
 If the "<code>slot</code>" attribute presents in a symbol, and the terminal does
 not have the "<code>noslot</code>" attribute, the translation is activated. The slot