diff --git a/rtems/config/tools/rtems-kernel-4.12.cfg b/rtems/config/tools/rtems-kernel-4.12.cfg
index a841d63..8ed8392 100644
--- a/rtems/config/tools/rtems-kernel-4.12.cfg
+++ b/rtems/config/tools/rtems-kernel-4.12.cfg
@@ -2,7 +2,7 @@
 # RTEMS 4.12
 #
 
- #
- # The RTEMS build instructions. We use 4.xx Release 1.
- #
+#
+# The RTEMS build instructions. We use 4.xx Release 1.
+#
 %include tools/rtems-kernel-4-1.cfg