formatting

1 files changed, 5 insertions, 5 deletions

diff --git a/doc/design.txt b/doc/design.txt
index 736ba31..1562d1b 100644
--- a/doc/design.txt
+++ b/doc/design.txt
@@ -31,11 +31,11 @@ The log data
 - is persistently stored in a file system on disk
 
 Scaling, performance, estimates
-- submissions: < 0.1 qps based on 5000 submissions per day
-- monitors: 6 qps based on 100 monitors
-- auditors: 8,000 qps based on 2.5e9 browsers visiting 100 sites (with
-  a 1y certificate) per month (assuming a single combined request for
-  doing get-sth + get-sth-consistency + get-proof-by-hash)
+- submissions: less than 0.1 qps, based on 5000 submissions per day
+- monitors: 6 qps, based on 100 monitors
+- auditors: 8,000 qps, based on 2.5e9 browsers visiting 100 sites
+  (with a 1y certificate) per month (assuming a single combined
+  request for doing get-sth + get-sth-consistency + get-proof-by-hash)
 
 Open questions
 - What's a good MMD? Google seem to use an MMD of well over 1h at the