diff --git a/src/hw/efc.md b/src/hw/efc.md
index f895bfb..cabf423 100644
--- a/src/hw/efc.md
+++ b/src/hw/efc.md
@@ -85,7 +85,7 @@ Use the Digilent HS2 JTAG adapter connected to the JTAG port on the EFC, located
 
 To flash the gateware and firmware onto the EFC board,
 ```shell
-artiq_flash --srcbuild -t [efc1v0, efc1v1] -d artiq_efc/EFC
+artiq_flash --srcbuild -t [efc1v0, efc1v1] -d artiq_efc/<efc variant>
 ```
 
 ## Link recalibration