diff --git a/skylighting-core/xml/agda.xml b/skylighting-core/xml/agda.xml
index 194aae55..e15777b5 100644
--- a/skylighting-core/xml/agda.xml
+++ b/skylighting-core/xml/agda.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE language[
+<!DOCTYPE language [
   <!ENTITY charsdelim "_;.&#34;(){}@">
   <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)">
 ]>
diff --git a/skylighting-core/xml/agda.xml.patch b/skylighting-core/xml/agda.xml.patch
new file mode 100644
index 00000000..ee1f89ba
--- /dev/null
+++ b/skylighting-core/xml/agda.xml.patch
@@ -0,0 +1,11 @@
+diff --git a/skylighting-core/xml/agda.xml b/skylighting-core/xml/agda.xml
+index 194aae5..e15777b 100644
+--- a/skylighting-core/xml/agda.xml
++++ b/skylighting-core/xml/agda.xml
+@@ -1,5 +1,5 @@
+ <?xml version="1.0" encoding="UTF-8"?>
+-<!DOCTYPE language[
++<!DOCTYPE language [
+   <!ENTITY charsdelim "_;.&#34;(){}@">
+   <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)">
+ ]>
diff --git a/skylighting-core/xml/dtd.xml b/skylighting-core/xml/dtd.xml
index 0526efc6..15c82a14 100644
--- a/skylighting-core/xml/dtd.xml
+++ b/skylighting-core/xml/dtd.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!DOCTYPE language[
+<!DOCTYPE language [
   <!ENTITY nmtoken "[\-\w\d\.:_]+">
   <!ENTITY entref  "(#[0-9]+|#[xX][0-9A-Fa-f]+|&nmtoken;);">
 ]>
diff --git a/skylighting-core/xml/dtd.xml.patch b/skylighting-core/xml/dtd.xml.patch
new file mode 100644
index 00000000..2ac22614
--- /dev/null
+++ b/skylighting-core/xml/dtd.xml.patch
@@ -0,0 +1,11 @@
+diff --git a/skylighting-core/xml/dtd.xml b/skylighting-core/xml/dtd.xml
+index 0526efc..15c82a1 100644
+--- a/skylighting-core/xml/dtd.xml
++++ b/skylighting-core/xml/dtd.xml
+@@ -1,5 +1,5 @@
+ <?xml version="1.0" encoding="utf-8"?>
+-<!DOCTYPE language[
++<!DOCTYPE language [
+   <!ENTITY nmtoken "[\-\w\d\.:_]+">
+   <!ENTITY entref  "(#[0-9]+|#[xX][0-9A-Fa-f]+|&nmtoken;);">
+ ]>