src/Pure/Admin/check_sources.scala

 
       val specs = getopts(args)
       if (specs.isEmpty) getopts.usage()
 
       for (root <- specs) check_hg(Path.explode(root))
-    }, admin = true)
+    })
 }