anchor.diff:        case atom_to_list(Name) of
           "-" ++ Rest -> cl_usage(list_to_atom(Rest));
           _ ->
  -          Message = "Invalid option name (given as argument to --help): '~w'",
  -          opt_error(Message, [Name])
  +          Msg = "Invalid option name (given as argument to --help): '~w'",
  +          opt_error(Msg, [Name])
         end;
       Tuple ->
         getopt:usage(getopt_spec([Tuple]), "./concuerror"),
  
positive.code:   FinalOptions =
      try
        Passes =
          [ fun rename_equivalent/1
          , fun add_missing_getopt_defaults/1
          , fun(O) ->
                add_missing_defaults([{verbosity, ?DEFAULT_VERBOSITY}], O)
            end
          , fun proplists:unfold/1
          , fun finalize_aux/1
          , fun(O) ->
                add_missing_defaults(
  
negative.code: rename_equivalent(Options) ->
    rename_equivalent(Options, []).
  
  rename_equivalent([{quiet, true}|Rest], Acc) ->
    case proplists:is_defined(verbosity, Rest ++ Acc) of
      true -> opt_error("'--verbosity' specified together with '--quiet'");
      false ->
  