diff --git a/ontologies/Conceptual.thy b/ontologies/Conceptual.thy
index 6a97aee0..5a1cd680 100644
--- a/ontologies/Conceptual.thy
+++ b/ontologies/Conceptual.thy
@@ -1,4 +1,4 @@
-theory conceptual
+theory Conceptual
   imports "../Isa_DOF"
 begin