diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 314d59b58..3a1731d60 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -932,8 +932,8 @@ Caveats: :CUSTOM_ID: stats :END: -The =--stats= option takes format string parameter to specify what and -how statistics should be output. +The =--stats= option takes a format string parameter to specify what +and how statistics should be output. Most tools support a common set of statistics about the output automaton (like =%s= for the number of states, =%t= for transitions,