diff --git a/README.md b/README.md
index bca091e4..9621aaed 100644
--- a/README.md
+++ b/README.md
@@ -101,7 +101,6 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR]
     -o ONTOLOGY  (default: scholarly_paper)
        Available ontologies:
        * cenelec_50128
-       * core
        * mathex
        * scholarly_paper
     -t TEMPLATE   (default: scrartcl)