diff --git a/src/nix-vector-routing/model/nix-vector-routing.cc b/src/nix-vector-routing/model/nix-vector-routing.cc
index 85ef8ffc4..2490a2e44 100644
--- a/src/nix-vector-routing/model/nix-vector-routing.cc
+++ b/src/nix-vector-routing/model/nix-vector-routing.cc
@@ -541,7 +541,8 @@ NixVectorRouting<T>::GetNodeByIp(IpAddress dest) const
         if (g_mapBuilding.exchange(true, std::memory_order_relaxed))
         {
             while (!g_isMapBuilt.load(std::memory_order_acquire))
-                ;
+            {
+            };
         }
         else
         {
@@ -585,7 +586,8 @@ NixVectorRouting<T>::GetInterfaceByNetDevice(Ptr<NetDevice> netDevice) const
         if (g_mapBuilding.exchange(true, std::memory_order_relaxed))
         {
             while (!g_isMapBuilt.load(std::memory_order_acquire))
-                ;
+            {
+            };
         }
         else
         {
@@ -1502,7 +1504,8 @@ NixVectorRouting<T>::CheckCacheStateAndFlush() const
         if (g_cacheFlushing.exchange(true, std::memory_order_relaxed))
         {
             while (g_isCacheDirty.load(std::memory_order_acquire))
-                ;
+            {
+            };
         }
         else
         {