diff --git a/.gitignore b/.gitignore
index 6368b42..7a4a0a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ trusted-setup/
 !trusted-setup/pot14_final.ptau
 src/Contracts
 contracts
+circuit.dot
diff --git a/README.md b/README.md
index a87993c..1bd206f 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ A ZK program written in a Haskell DSL that expresses a factorization of a public
 You can produce a circom compatible `r1cs` file for this program by running 
 
 ```
-> cabal run factors-cli -- compile --output-dir trusted-setup 
+> cabal run factors -- compile --r1cs trusted-setup/circuit.r1cs --constraints trusted-setup/circuit.bin
 ```
 
 You should see the artifacts