README.md
changeset 300 7644dc89cdad
parent 299 26fa4f7e4b8e
--- a/README.md	Mon Oct 19 11:23:47 2015 +0100
+++ b/README.md	Thu Oct 22 08:00:29 2015 +0100
@@ -10,7 +10,7 @@
 
 - Benchmarking and (especially) interpreting benchmark results is always
   a monkey business. The tool should produce raw numbers, letting the 
-  user to whichever statistics she needs to make up (desired) results. 
+  user to use whichever statistics she needs to make up (desired) results. 
 - Benchmark results should be kept and managed at a single place so one
   can view and retrieve all past benchmark results pretty much the same
   way as one can view and retrieve past versions of the software from