diff --git a/hw/virtex_ml507.c b/hw/virtex_ml507.c
index 2af3b81620..c5bbedac7d 100644
--- a/hw/virtex_ml507.c
+++ b/hw/virtex_ml507.c
@@ -157,8 +157,9 @@ static int xilinx_load_device_tree(target_phys_addr_t addr,
             fdt = load_device_tree(path, &fdt_size);
             qemu_free(path);
         }
-        if (!fdt)
+        if (!fdt) {
             return 0;
+        }
     }
 
     r = qemu_devtree_setprop_string(fdt, "/chosen", "bootargs", kernel_cmdline);