diff --git a/repos/os/src/app/ping/config.xsd b/repos/os/src/app/ping/config.xsd
index 154c376fe6..0ceaca0640 100644
--- a/repos/os/src/app/ping/config.xsd
+++ b/repos/os/src/app/ping/config.xsd
@@ -5,10 +5,10 @@
-
+
-
+
diff --git a/repos/os/src/app/trace_logger/config.xsd b/repos/os/src/app/trace_logger/config.xsd
index 21987052f7..dbe7bfdaa0 100644
--- a/repos/os/src/app/trace_logger/config.xsd
+++ b/repos/os/src/app/trace_logger/config.xsd
@@ -5,10 +5,10 @@
-
+
-
+
diff --git a/repos/os/src/server/nic_dump/config.xsd b/repos/os/src/server/nic_dump/config.xsd
index 6bf73cbcf7..ad0e2aafee 100644
--- a/repos/os/src/server/nic_dump/config.xsd
+++ b/repos/os/src/server/nic_dump/config.xsd
@@ -12,10 +12,10 @@
-
+
-
+
diff --git a/repos/os/src/server/nic_router/config.xsd b/repos/os/src/server/nic_router/config.xsd
index 530425c429..484a084394 100644
--- a/repos/os/src/server/nic_router/config.xsd
+++ b/repos/os/src/server/nic_router/config.xsd
@@ -5,10 +5,10 @@
-
+
-
+