diff --git a/hw/device-hotplug.c b/hw/device-hotplug.c
index e58ecd6dfa81a0031a10bb7e2263024142b182f6..3bdc048c685031b690526bbb6cc1fb3c6667bb16 100644
--- a/hw/device-hotplug.c
+++ b/hw/device-hotplug.c
@@ -51,7 +51,7 @@ void destroy_nic(dev_match_fn *match_fn, void *arg)
     int i;
     NICInfo *nic;
 
-    for (i = 0; i < MAX_NICS; i++)
+    for (i = 0; i < MAX_NICS; i++) {
         nic = &nd_table[i];
         if (nic->used) {
             if (nic->private && match_fn(nic->private, arg)) {
@@ -64,6 +64,7 @@ void destroy_nic(dev_match_fn *match_fn, void *arg)
                 net_client_uninit(nic);
             }
         }
+    }
 }
 
 void destroy_bdrvs(dev_match_fn *match_fn, void *arg)