diff --git a/src/api/api.c b/src/api/api.c
index 2c56969bd..982fad0a3 100644
--- a/src/api/api.c
+++ b/src/api/api.c
@@ -37,8 +37,8 @@
 #include "zenoh-pico/session/resource.h"
 #include "zenoh-pico/session/subscription.h"
 #include "zenoh-pico/session/utils.h"
-#include "zenoh-pico/system/platform_common.h"
 #include "zenoh-pico/system/platform.h"
+#include "zenoh-pico/system/platform_common.h"
 #include "zenoh-pico/transport/multicast.h"
 #include "zenoh-pico/transport/unicast.h"
 #include "zenoh-pico/utils/endianness.h"
diff --git a/src/system/arduino/esp32/system.c b/src/system/arduino/esp32/system.c
index ae58c6256..b7c5135d8 100644
--- a/src/system/arduino/esp32/system.c
+++ b/src/system/arduino/esp32/system.c
@@ -19,8 +19,8 @@
 #include <sys/time.h>
 
 #include "zenoh-pico/config.h"
-#include "zenoh-pico/system/platform_common.h"
 #include "zenoh-pico/system/platform.h"
+#include "zenoh-pico/system/platform_common.h"
 #include "zenoh-pico/utils/result.h"
 
 /*------------------ Random ------------------*/