diff --git a/README.md b/README.md
index 24a10c5..904230a 100644
--- a/README.md
+++ b/README.md
@@ -59,4 +59,9 @@ the directory where you did `dune build`:
 ```
   ./_build/default/src/apps/generator/generator.exe --generator recursiveladder 4
 ```
+Generate a parity game using Friedmann's exponential lower-bound family of
+examples for strategy improvement:
+```
+  ./_build/default/src/apps/generators/stratimprgen.exe -pg friedmannsubexp [n]
+```
 
diff --git a/src/apps/generator/dune b/src/apps/generators/dune
similarity index 59%
rename from src/apps/generator/dune
rename to src/apps/generators/dune
index 950fab6..5861441 100644
--- a/src/apps/generator/dune
+++ b/src/apps/generators/dune
@@ -1,6 +1,6 @@
 (executables
- (names generator)
- (modules generator)
+ (names generator stratimprgen)
+ (modules generator stratimprgen)
  (libraries pgsolver)
  (flags (:standard -w -32))
 )
diff --git a/src/apps/generator/generator.ml b/src/apps/generators/generator.ml
similarity index 100%
rename from src/apps/generator/generator.ml
rename to src/apps/generators/generator.ml
diff --git a/src/lib/generators/policyiter/stratimprgen.ml b/src/apps/generators/stratimprgen.ml
similarity index 98%
rename from src/lib/generators/policyiter/stratimprgen.ml
rename to src/apps/generators/stratimprgen.ml
index 2e4bcc3..ea87232 100644
--- a/src/lib/generators/policyiter/stratimprgen.ml
+++ b/src/apps/generators/stratimprgen.ml
@@ -1,12 +1,9 @@
 open Arg ;;
 open Tcsargs;;
 open Tcsbasedata;;
-open Basics ;;
 open Paritygame;;
 open Mdp;;
-open Tcsstrings ;;
 open Stratimprgenerators;;
-open Stratimprgenlist;;
 
 Stratimprgenlist.register();;