--- 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