diff --git a/src/Tools/mkroot_DOF b/src/Tools/mkroot_DOF
index 533c547b..d1dfe9d8 100755
--- a/src/Tools/mkroot_DOF
+++ b/src/Tools/mkroot_DOF
@@ -90,7 +90,7 @@ do
       NAME="$OPTARG"
       ;;
     o)
-      if [ ! -f "$ISABELLE_DOF_HOME/src/ontologies/*//DOF-$OPTARG.sty" ]; then
+      if [ ! -f "$ISABELLE_DOF_HOME/src/ontologies"/*/DOF-$OPTARG.sty ]; then
           echo "ERROR: Ontology $OPTARG not available!"
           exit 1
       fi