diff --git a/satore/README.md b/satore/README.md
index bf32cbb..341d58d 100644
--- a/satore/README.md
+++ b/satore/README.md
@@ -22,8 +22,7 @@ To install **satore** and its dependencies (all are Apache2/MIT licensed),
 in a directory of your choice, type:
 
 ```shell
-git clone https://github.com/deepmind/deepmind-research/tree/master/satore
-raco pkg install --auto --update-deps --link satore
+raco pkg install --auto --update-deps satore
 ```
 <!--
 We use git clone instead of the git facility of `raco` so that
diff --git a/satore/saturation.rkt b/satore/saturation.rkt
index 5491ea4..f344645 100644
--- a/satore/saturation.rkt
+++ b/satore/saturation.rkt
@@ -723,7 +723,7 @@
       (pretty-print (make-return-dict 'running))]
      [(list 'save-rules)
       "Save the binary rules from the default rules-file"
-      (save-rules! rwtree)])))
+      (save-rules! rwtree #:rules-file (*output-rules*))])))
 
 ;; Prints the set of active Clauses (held in utree).
 ;;