Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 520)
+++ trunk/doc/design/07_devmap.html	(revision 521)
@@ -15,7 +15,7 @@
 
 <p>{des7:1}
 These goals are achieved by using symbolic terminal names (instead
-of "pin numbers") in the schematic symbols and auxiliary data to translate
+of "pin numbers") in the schematic symbols and using auxiliary data to translate
 the terminal names into port numbers. The following diagram demonstrates
 the process: