--- a/DTDs/DebuggerProperties-3.9.dtd	Sun Jun 17 13:09:00 2018 +0200
+++ b/DTDs/DebuggerProperties-3.9.dtd	Sun Jun 17 16:56:10 2018 +0200
@@ -1,4 +1,5 @@
-<!-- This is the DTD for eric3's project session file version 3.9 -->
+<!-- This is the DTD for eric3's project debugger properties file
+    version 3.9 -->
 
 <!ELEMENT   Interpreter         (#PCDATA)>