diff --git a/index.html b/index.html
index 600b9590..1a815235 100644
--- a/index.html
+++ b/index.html
@@ -104,6 +104,8 @@ <h2 id="development">Development</h2>
 <pre><code>make</code></pre>
 <p>Makefile will try to find out the number of your CPU cores and parallel as much as possible.</p>
 <p>Once <code>make</code> finishes, you can run the binary:</p>
+<pre><code>dune exec mcltt examples/nary.mcl # or your own example</code></pre>
+<p>or more directly</p>
 <pre><code>_build/default/driver/mcltt.exe examples/nary.mcl # or your own example</code></pre>
 <p>To build Coq proof only, you can go into and only build the Coq folder:</p>
 <pre><code>cd theories