diff --git a/examples/.scripts/run-example.sh b/examples/.scripts/run-example.sh
index 61e32c8f3..3ccdb9707 100755
--- a/examples/.scripts/run-example.sh
+++ b/examples/.scripts/run-example.sh
@@ -31,6 +31,8 @@ get_main () {
     main="--main=properChannelsTests"
   elif [[ "$file" == "cosmos/ics20/ics20.qnt" ]] ; then
     main="--main=ics20Test"
+  elif [[ "$file" == "puzzles/prisoners/prisoners.qnt" ]] ; then
+    main="--main=prisoners3"
   elif [[ "$file" == "solidity/ERC20/erc20.qnt" ]] ; then
     main="--main=erc20Tests"
   elif [[ "$file" == "solidity/SimplePonzi/simplePonzi.qnt" ]] ; then
diff --git a/examples/README.md b/examples/README.md
index 7ce5bd4c6..5ad4cd6ac 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -81,7 +81,7 @@ listed without any additional command line arguments.
 | [language-features/records.qnt](./language-features/records.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [language-features/sets.qnt](./language-features/sets.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [language-features/tuples.qnt](./language-features/tuples.qnt) | :white_check_mark: | :white_check_mark: | :x: | :x: |
-| [puzzles/prisoners/prisoners.qnt](./puzzles/prisoners/prisoners.qnt) | :white_check_mark: | :white_check_mark: | :x: | :x: |
+| [puzzles/prisoners/prisoners.qnt](./puzzles/prisoners/prisoners.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [puzzles/river/river.qnt](./puzzles/river/river.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [puzzles/tictactoe/tictactoe.qnt](./puzzles/tictactoe/tictactoe.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [solidity/Coin/coin.qnt](./solidity/Coin/coin.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
diff --git a/examples/puzzles/prisoners/prisoners.qnt b/examples/puzzles/prisoners/prisoners.qnt
index 97f47fb2c..d9419cfd4 100644
--- a/examples/puzzles/prisoners/prisoners.qnt
+++ b/examples/puzzles/prisoners/prisoners.qnt
@@ -131,7 +131,5 @@ module prisoners {
 
 // An instance of prisoners for the set of size 3
 module prisoners3 {
-    import prisoners(allPrisoners = Set("A", "B", "C"), counter = "A") as P
-    
-    export P.*
+    import prisoners(allPrisoners = Set("A", "B", "C"), counter = "A").*
 }