diff --git a/libsel4/tools/sel4_idl.dtd b/libsel4/tools/sel4_idl.dtd
index b54ef71e9..01d731215 100644
--- a/libsel4/tools/sel4_idl.dtd
+++ b/libsel4/tools/sel4_idl.dtd
@@ -22,7 +22,7 @@
 <!ELEMENT method (param*)>
 <!ATTLIST method name CDATA #REQUIRED>
 <!ATTLIST method id CDATA #REQUIRED>
-<!ATTLIST method config CDATA #IMPLIED>
+<!ATTLIST method condition CDATA #IMPLIED>
 
 <!ELEMENT param EMPTY>
 <!ATTLIST param type CDATA #REQUIRED>