diff --git a/artiq/frontend/artiq_flash.sh b/artiq/frontend/artiq_flash.sh
index cbe4cca46..e6302059f 100755
--- a/artiq/frontend/artiq_flash.sh
+++ b/artiq/frontend/artiq_flash.sh
@@ -66,6 +66,7 @@ do
 				echo "KC705 carrier board is either nist_qc1 or nist_qc2"
 				exit 1
 			fi
+			;;
 		*)
 			echo "ARTIQ flashing tool"
 			echo ""