diff --git a/artiq/index.html b/artiq/index.html
index 07221f6..55af93c 100644
--- a/artiq/index.html
+++ b/artiq/index.html
@@ -124,16 +124,16 @@ class Experiment(AutoDB):
 
         <h2>Is ARTIQ right for my lab?</h2>
         <div style="float: right;"><img src="logo_small.png"></div>
-        <p>It's easy to find out by yourself! The core device is based on the resource-efficient MiSoC system-on-chip design, and you can use a limited version of ARTIQ with the small and low-cost <a href="http://papilio.cc/">Papilio Pro</a> board. Feel free to send feedback to the mailing list!</p>
+        <p>It's easy to find out by yourself! The core device is based on the resource-efficient MiSoC system-on-chip design, and you can use a limited version of ARTIQ with the small and low-cost <a href="http://pipistrello.saanlima.com/">Pipistrello</a> board. Feel free to send feedback to the mailing list!</p>
 	<ul>
 		<li><a href="manual/installing.html">Install from sources</a> (be prepared to compile software and FPGA bitstreams)</li>
 	or
 		<li>Install from pre-compiled binaries</li>
-	<p>First you need to flash your Papilio Pro board with pre-compiled binaries</p>
+	<p>First you need to flash your Pipistrello board with pre-compiled binaries</p>
 	<ul>
 		<li>Download the binaries<pre>$ wget http://m-labs.hk/artiq/binaries/binary_package.tar.gz</pre></li>
 		<li>Extract them<pre>$ tar xzf binary_package.tar.gz</pre></li>
-		<li>Flash your Papilio Pro board<pre>$ cd binary_package && ./flash.sh</pre></li>
+		<li>Flash your Pipistrello board<pre>$ cd binary_package && ./flash.sh -t pipistrello</pre></li>
 	</ul>
         <p>Installing host-side ARTIQ software on your Windows or Linux computer is quick and easy since it can be installed via <a href="http://conda.pydata.org/">Conda packages</a> as part of the <a href="https://store.continuum.io/cshop/anaconda/">Anaconda</a> scientific computing Python distribution:</p>
         <ul>