diff --git a/zynq.nix b/zynq.nix
index e7fd6da..1a77eeb 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -40,7 +40,7 @@ in
 
         export USER=hydra
         export OPENOCD_ZYNQ=${<zynq-rs>}/openocd
-        export SZL=${zynq-rs.zc706-szl}/szl.elf;
+        export SZL=${zynq-rs.zc706-szl}/szl.elf
         pushd ${<artiq-zynq>}
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-nist_qc2-jtag}
         popd