Minor changes for readability.

diff --git a/README b/README
index 59ac1a1874248fa2fae0c33ca79ffb15606686a3..41fe16842a4550739e960e4853dffc6a8079f6c0 100644 (file)
--- a/README
+++ b/README
@@ -13,9 +13,9 @@ The code is based on two major, but independent, blocks:
     resolving package dependencies.
 
 The sat-solver code has been written to aim for the newest packages,
-record the decision tree to provide introspection, and also allows to
-provide the user with suggestions on how to deal with unsolvable
-problems. It also takes advantage of the repository storage to
+record the decision tree to provide introspection, and also provides
+the user with suggestions on how to deal with unsolvable
+problems. It also takes advantage of repository storage to
 minimize memory usage.
 
 Supported package formats: