diff --git a/README.org b/README.org
index e08d97cbb..b0e978f8d 100644
--- a/README.org
+++ b/README.org
@@ -103,11 +103,11 @@ It may take some time to compile ~ghc~, plus a whole raft of dependencies.
 
 **** Confirming the install
 
-A number of sample CSV inputs can be found in the ~test/~ directory.
+A number of sample CSV inputs can be found in the ~test/examples~ directory.
 (The following should be run from the ~lib/haskell/natural4~ subdirectory.)
 
 #+begin_src
-  natural4$ stack run -- --workdir=workdir --toasp --tomd test/mustsing-latest.csv
+  natural4$ stack run -- --workdir=workdir --toasp --tomd test/examples/mustsing-latest.csv
 #+end_src
 
 This should compile the ~l4~ parser, and produce a bunch of output under the ~workdir/~ directory.
diff --git a/lib/haskell/natural4/README.org b/lib/haskell/natural4/README.org
index e2200b85a..7cacdc3d2 100644
--- a/lib/haskell/natural4/README.org
+++ b/lib/haskell/natural4/README.org
@@ -52,7 +52,7 @@ You should get a screenful of green.
 In the ~dsl/lib/haskell/natural4/~ directory, if you run
 
 #+begin_src bash
-  stack run -- --workdir=workdir test/casestudypdpadbno-latest.csv
+  stack run -- --workdir=workdir test/examples/casestudypdpadbno-latest.csv
 #+end_src
 
 You should get a bunch of output onscreen, and you should get even more output inside the newly created directory ~workdir/~.