diff --git a/README.txt b/README.txt
index a2154985165333eea25d334ee9263c450101c044..cf91355a44c1c305c84aac4db7aaab975f33f812 100644
--- a/README.txt
+++ b/README.txt
@@ -59,10 +59,10 @@ CONTENTS
   * iris.v is the main file and contains the actual logic and the
     proof of the rules for view shifts and Hoare triples
 
-  The development uses ModuRes, a Coq library in by Sieczkowski et
-  al. to solve the recursive domain equation (see the paper for a
-  reference) and prove some of the standard separation logic rules. It
-  is located in the lib/ subdirectory.
+  The development uses ModuRes, a Coq library by Sieczkowski et al. to
+  solve the recursive domain equation (see the paper for a reference)
+  and prove some of the standard separation logic rules. It is located
+  in the lib/ subdirectory.
 
 
 REQUIREMENTS