diff --git a/vl.c b/vl.c
index 78c8babc61..c556aa60d2 100644
--- a/vl.c
+++ b/vl.c
@@ -8011,8 +8011,9 @@ int main(int argc, char **argv)
                     gdbstub_port);
             exit(1);
         }
-    } else 
+    }
 #endif
+
     if (loadvm)
         do_loadvm(loadvm);