diff --git a/ontologies/scholarly_paper.thy b/ontologies/scholarly_paper.thy
index cd475e2e..bb7a6f08 100644
--- a/ontologies/scholarly_paper.thy
+++ b/ontologies/scholarly_paper.thy
@@ -13,8 +13,9 @@ doc_class subtitle =
 -- \<open>adding a contribution list and checking that it is cited as well in tech as in conclusion. ? \<close>
 
 doc_class author =
-   email       :: "string"
-   orcid       :: "string"
+   email       :: "string" <= "''''"
+   http_site   :: "string" <= "''''"
+   orcid       :: "string" <= "''''"
    affiliation :: "string"
 
 doc_class abstract =
diff --git a/ontologies/technical_report.thy b/ontologies/technical_report.thy
index 9f1e0d2d..e64319a9 100644
--- a/ontologies/technical_report.thy
+++ b/ontologies/technical_report.thy
@@ -4,8 +4,11 @@ theory technical_report
    imports "scholarly_paper"
 begin
 
-doc_class table_of_content =
-   level       :: int <= 3
+doc_class table_of_contents =
+   depth       :: int <= 3
+
+doc_class front_matter = 
+   style :: string 
 
 doc_class "chapter" = text_section +
    style :: string 
@@ -16,11 +19,13 @@ doc_class report =
    accepts "(title       ~~ 
            \<lbrakk>subtitle\<rbrakk>   ~~
            \<lbrace>author\<rbrace>\<^sup>+   ~~ 
+           \<lbrakk>front_matter\<rbrakk>  ~~
            abstract     ~~
-           chapter      ~~
+           \<lbrakk>table_of_contents\<rbrakk>  ~~
            introduction ~~ 
            \<lbrace>technical || example\<rbrace>\<^sup>+ ~~ 
            conclusion   ~~  
+           \<lbrakk>table_of_contents\<rbrakk>  ~~
            bibliography)"
 
 end