From 7f9232509d49d73b3075698dd687bd4d8a83d91e Mon Sep 17 00:00:00 2001
From: Richard Soderberg <rsoderberg@gmail.com>
Date: Mon, 2 Apr 2012 01:52:16 -0700
Subject: [PATCH] reword slightly

---
 docs/DEPLOYMENT.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/DEPLOYMENT.md b/docs/DEPLOYMENT.md
index a68f835ed..cd79b07cf 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
 
-- 
GitLab