diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 8ad755b7dae7f5c57302d065d137136e33adbaa4..aa9070107b0ebb8995138da942979734f0aba21d 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -3163,7 +3163,7 @@
       parameters in its <code>&lt;parameters&gt;</code> element -
       an <code>interfaceid</code> which is a standard uuid used to
       uniquely identify this particular interface to Open vSwitch (if
-      you do no specify one, a random interfaceid will be generated
+      you do not specify one, a random interfaceid will be generated
       for you when you first define the interface), and an
       optional <code>profileid</code> which is sent to Open vSwitch as
       the interfaces "port-profile".