diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 43f7540dd..52e4a2dbf 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -103,7 +103,7 @@ First you need to install OpenOCD. Then, you can flash the board:
 
 * For the Pipistrello board::
 
-    $ artiq_flash -t pipistrello
+    $ artiq_flash -t pipistrello -m qc1
 
 * For the KC705 board::