diff --git a/examples/math_exam/BAC2017/ROOT b/examples/math_exam/BAC2017/ROOT
index 11ac8ee6..9c8866ca 100644
--- a/examples/math_exam/BAC2017/ROOT
+++ b/examples/math_exam/BAC2017/ROOT
@@ -1,4 +1,4 @@
-session "BAC2017" = "HOL" +
+session "BAC2017" = "Functional-Automata" +
   options [document = pdf, document_output = "output",quick_and_dirty=true]
   theories [document = false]
     "../../../ontologies/mathex_onto"
@@ -9,5 +9,4 @@ session "BAC2017" = "HOL" +
   document_files
     "root.tex"
     "preamble.tex"
-    "ontologies.tex"
     "build"