diff -r 40d87c73120d -r 5c712e46988f README_REPOSITORY
--- a/README_REPOSITORY	Sat Nov 29 18:26:53 2008 +0100
+++ b/README_REPOSITORY	Sat Nov 29 19:01:28 2008 +0100
@@ -177,9 +177,9 @@
 Building Isabelle from the repository version
 =============================================
 
-Compared to a proper distribution (or development snapshot) the a
+Compared to a proper distribution or development snapshot, a
 repository version of Isabelle lacks proper version identifiers in
-various places and some components produced by Admin/build.  After
+various places, and some components produced by Admin/build.  After
 applying that script with suitable options, the regular user
 instructions for building and running Isabelle from sources apply.