Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 303)
+++ trunk/doc/design/07_devmap.html	(revision 304)
@@ -26,7 +26,7 @@
 (red), device mapping (green) and pin mapping (blue). The slotting translation
 makes sure the resulting abstract component has the right amount of ports;
 the device mapper loads the device-specific pin mapping and other
-attributes from a database; the pin mapper applies a pin numbers from
+attributes from a database; the pin mapper applies pin numbers from
 a table (the table typically set up by the device mapper).
 
 <p>{des7:3}