diff --git a/docs/DEPLOYMENT.md b/docs/DEPLOYMENT.md
index a68f835ed449339039ca0e5378e405e289bd852c..cd79b07cf6ecfa3a06c23c379a73c763415418d7 100644
--- a/docs/DEPLOYMENT.md
+++ b/docs/DEPLOYMENT.md
@@ -224,7 +224,7 @@ check host browserid.org with address 127.0.0.1
 </pre>
 
   6. verify servers are running!  check `/var/log/monit.log`, curl ports 62700
-     and 62800, and verify servers are restarted at 10s if you kill em!
+     and 62800, and verify servers are restarted after 10 seconds if you kill em!
 
 ### 7. Install nginx