diff --git a/headers/headache_config.txt b/headers/headache_config.txt
index c612e186c184f067481e3df9d1277c1001e6ef17..00d6eb10ac8c7ee8f3cf266373c258525312ee6d 100644
--- a/headers/headache_config.txt
+++ b/headers/headache_config.txt
@@ -171,7 +171,8 @@
 ########
 # XML #
 ########
-| ".*\.xml" -> frame open: "<!--" line: "-" close: "-->"
+| ".*\.xml" -> frame open: "<!--" line: " " close: "-->"
+| ".*\.xml" -> skip match: "<\?xml.*\?>"
 
 #######
 # DTD #
diff --git a/src/plugins/markdown-report/share/acsl.xml b/src/plugins/markdown-report/share/acsl.xml
index 2167e52e8051126f6bf6ba8c0b7169e1faeabbb2..82bc0fc2de2616bbcc1bf747a3dd8a8e572b4707 100644
--- a/src/plugins/markdown-report/share/acsl.xml
+++ b/src/plugins/markdown-report/share/acsl.xml
@@ -1,4 +1,5 @@
-<!---------------------------------------------------------------------------->
+<?xml version="1.0" encoding="UTF-8"?>
+<!--                                                                        -->
 <!--                                                                        -->
 <!--  This file is part of Frama-C.                                         -->
 <!--                                                                        -->
@@ -18,9 +19,8 @@
 <!--  See the GNU Lesser General Public License version 2.1                 -->
 <!--  for more details (enclosed in the file licenses/LGPLv2.1).            -->
 <!--                                                                        -->
-<!---------------------------------------------------------------------------->
+<!--                                                                        -->
 
-<?xml version="1.0" encoding="UTF-8"?>
 <language name="ACSL" version="1" extensions="*.acsl"
           section="Sources" kateversion="2.4">
 <highlighting>