X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=README.md;h=d5838cd98be0a1f84058fc092bdeec4ab8c9ebf1;hp=29a95e80da2d3f2bfae92b43267ce1faf7d11126;hb=c7a6544c3f19d8c4d71b82871c832a866f8dbb79;hpb=4d482a40080a27f22ad6fca0f83ad95585b6b470

diff --git a/README.md b/README.md
index 29a95e8..d5838cd 100644
--- a/README.md
+++ b/README.md
@@ -44,7 +44,8 @@ If you haven't done so already, you may download CDSChecker using
 Source code can also be downloaded via the snapshot links on Gitweb (found in
 the __See Also__ section).
 
-Get the benchmarks (not required; distributed separately):
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks