anchor.diff:      end,
     case Optname of
       false ->
  -      opt_error("Invalid option name: '~w'", [Name]);
  +      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])
  +      end;
       Tuple ->
         getopt:usage(getopt_spec([Tuple]), "./concuerror"),
         try
  
positive.code:                   {'ok', options()} | {'exit', concuerror:exit_status()}.
  
  finalize(Options) ->
    case check_help_and_version(Options) of
      exit -> {exit, ok};
      ok ->
        try
          {ok, finalize_2(Options)}
        catch
          throw:opt_error -> {exit, fail}
        end
    end.
  
  finalize_2(Options) ->
  
negative.code:         String -> to_stderr(String ++ "~n", [])
        catch
          _:_ -> to_stderr("No additional help available.~n", [])
        end,
        to_stderr("For general help use '-h' without an argument.~n", [])
    end.
  
  cl_version() ->
    to_stderr("Concuerror v~s (~w)",[?VSN, ?GIT_SHA]).
  