diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd
index bfb136007..9085fee81 100644
--- a/misc/config_tools/schema/config.xsd
+++ b/misc/config_tools/schema/config.xsd
@@ -147,6 +147,7 @@ Machine Check Error on Page Size Change.
+