diff --git a/src/hw/zotino_fastino.md b/src/hw/zotino_fastino.md
index 57e3f34..8ba5303 100644
--- a/src/hw/zotino_fastino.md
+++ b/src/hw/zotino_fastino.md
@@ -67,7 +67,7 @@ the PG and FD LEDs will be lit green.
 
 You can flash the gateware with a Kasli/Kasli-SoC, be it in the crate or standalone
 
-1. Prepare a Kasli/Kasli-SoC that flashed with ARTIQ gateware
+1. Prepare a Kasli/Kasli-SoC flashed with ARTIQ gateware
 2. Download the latest `fastino.bin` release from [quartiq/fastino](https://github.com/quartiq/fastino/releases).
 3. Run `git clone https://github.com/quartiq/kasli-i2c.git` and place `fastino.bin` in the kasli-i2c directory.
 4. Connect the Fastino's EEM0 to any available Kasli/Kasli-SoC EEM port