src/Doc/System/Interfaces.thy

   Options are:
     -b           Admin/build only
     -c           cleanup -- remove GRAPHFILE after use
     -o FILE      output to FILE (ps, eps, pdf)
 \end{ttbox}
-  When no filename is specified, the browser automatically changes to
+  When no file name is specified, the browser automatically changes to
   the directory @{setting ISABELLE_BROWSER_INFO}.
 
   \medskip The @{verbatim "-b"} option indicates that this is for
   administrative build only, i.e.\ no browser popup if no files are
   given.