anchor.diff:     }
     ,{quiet, $q, undefined,
       "Do not write anything to stderr",
  -    "Equivalent to -v 0."}
  +    "Shorthand for '-v 0'."}
     ,{output, $o, {string, "concuerror_report.txt"},
       "Output file",
       "This is where Concuerror writes the results of the analysis."}
     ,{graph, undefined, string,
       "Produce a DOT graph in the specified file",
  -    "The graph can be drawn with 'dot -Tsvg -o graph.svg <graph>"}
  +    "The DOT graph can be converted to an image with 'dot -Tsvg -o graph.svg"
  +    " <graph>"}
     ,{symbolic_names, $s, {boolean, true},
  -    "Symbolic PIDs in graph/log",
  -    "Use symbolic names for process identifiers in the output report."}
  +    "Use symbolic PIDs in graph/log",
  +    "Use symbolic names for process identifiers in the output report (and"
  +    " graph)."}
     ,{print_depth, undefined, {integer, ?DEFAULT_PRINT_DEPTH},
       "Print depth for log/graph",
       "Specifies the max depth for any terms printed in the log (behaves just as"
  -    " the extra argument of ~~W and ~~P argument of io:format/3. If you want"
  -    " more info about a particular piece of data consider using"
  -    " erlang:display/1 and check the standard output section instead."}
  +    " the extra argument of ~~W and ~~P argument of io:format/3). If you want"
  +    " more info about a particular piece of data in an interleaving, consider"
  +    " using erlang:display/1 and checking the 'standard output section; in the"
  +    " log instead."}
     ,{show_races, undefined, {boolean, false},
  -    "Mark races in log/graph",
  +    "Show races in log/graph",
       "Determines whether information about pairs of racing instructions will be"
  -    " included in the graph and the logs of erroneous interleavings."}
  +    " included in the logs of erroneous interleavings and the graph."}
     ,{pa, undefined, string,
       "Add directory to Erlang's code path (front)",
       "Works exactly like 'erl -pa'."}
  
positive.code:   ,{test, $t, {atom, test},
      "Test function",
      "This must be a 0-arity function located in the module specified by '-m'."
      " Concuerror will start the test by spawning a process that calls this function."}
    ,{help, $h, atom,
      "Display help (can also be used as '-h <option>')",
      "You already know how to use this option! :-)"}
  
negative.code:   ,{verbosity, $v, integer,
      io_lib:format("Sets the verbosity level (0-~w). [default: ~w]",
                    [?MAX_VERBOSITY, ?DEFAULT_VERBOSITY]),
      "Verbosity decides what is shown on stderr. Messages up to info are"
      " always also shown in the output file. The available levels are the"
      " following:~n~n"
      "0 <quiet> Nothing is printed (equivalent to -q)~n"
      "1 <error> Critical, resulting in early termination~n"
      "2 <warn>  Non-critical, notifying about weak support for a feature or~n"
  