diff --git a/Core_DOM/tests/Document_adoptNode.thy b/Core_DOM/tests/Document_adoptNode.thy
index 2614008..f1326be 100644
--- a/Core_DOM/tests/Document_adoptNode.thy
+++ b/Core_DOM/tests/Document_adoptNode.thy
@@ -29,8 +29,8 @@
 
 (* This file is automatically generated, please do not modify! *)
 
-section\<open>Testing Core_DOM\<close>
-text\<open>This theory contains the test cases for Core_DOM.\<close>
+section\<open>Testing Document_adoptNode\<close>
+text\<open>This theory contains the test cases for Document_adoptNode.\<close>
 
 theory Document_adoptNode
 imports
diff --git a/Core_DOM/tests/Document_getElementById.thy b/Core_DOM/tests/Document_getElementById.thy
index 939f11e..1045065 100644
--- a/Core_DOM/tests/Document_getElementById.thy
+++ b/Core_DOM/tests/Document_getElementById.thy
@@ -29,8 +29,8 @@
 
 (* This file is automatically generated, please do not modify! *)
 
-section\<open>Testing Core_DOM\<close>
-text\<open>This theory contains the test cases for Core_DOM.\<close>
+section\<open>Testing Document_getElementById\<close>
+text\<open>This theory contains the test cases for Document_getElementById.\<close>
 
 theory Document_getElementById
 imports
diff --git a/Core_DOM/tests/Node_insertBefore.thy b/Core_DOM/tests/Node_insertBefore.thy
index 0e6b40c..62f7f31 100644
--- a/Core_DOM/tests/Node_insertBefore.thy
+++ b/Core_DOM/tests/Node_insertBefore.thy
@@ -29,8 +29,8 @@
 
 (* This file is automatically generated, please do not modify! *)
 
-section\<open>Testing Core_DOM\<close>
-text\<open>This theory contains the test cases for Core_DOM.\<close>
+section\<open>Testing Node_insertBefore\<close>
+text\<open>This theory contains the test cases for Node_insertBefore.\<close>
 
 theory Node_insertBefore
 imports
diff --git a/Core_DOM/tests/Node_removeChild.thy b/Core_DOM/tests/Node_removeChild.thy
index 423844d..284ea05 100644
--- a/Core_DOM/tests/Node_removeChild.thy
+++ b/Core_DOM/tests/Node_removeChild.thy
@@ -29,8 +29,8 @@
 
 (* This file is automatically generated, please do not modify! *)
 
-section\<open>Testing Core_DOM\<close>
-text\<open>This theory contains the test cases for Core_DOM.\<close>
+section\<open>Testing Node_removeChild\<close>
+text\<open>This theory contains the test cases for Node_removeChild.\<close>
 
 theory Node_removeChild
 imports