diff --git a/artiq/firmware/satman/main.rs b/artiq/firmware/satman/main.rs
index 8feb65a1f..7744c65c0 100644
--- a/artiq/firmware/satman/main.rs
+++ b/artiq/firmware/satman/main.rs
@@ -43,7 +43,7 @@ fn process_aux_packet(p: &drtioaux::Packet) {
             } else {
                 drtio_reset(true);
                 drtio_reset(false);
-            },
+            }
             drtioaux::hw::send_link(0, &drtioaux::Packet::ResetAck).unwrap();
         },