anchor.diff:          '(${error.code})',
         );
   
  +      var padding = ' ' * _bodyIndentWidth;
         if (verbose) {
  -        var padding = ' ' * _bodyIndentWidth;
           for (var message in error.contextMessages) {
             log.stdout('$padding${message.message} '
                 'at ${message.filePath}:${message.line}:${message.column}');
           }
  -        if (error.correction != null) {
  -          log.stdout('$padding${error.correction}');
  -        }
  +      }
  +      if (error.correction != null) {
  +        log.stdout('$padding${error.correction}');
  +      }
  +      if (verbose) {
           if (error.url != null) {
             log.stdout('$padding${error.url}');
           }
  
positive.code:   /// The number of spaces needed to indent follow-on lines (the body) under the
    /// message. The width left for the severity label plus the separator width.
    static const int _bodyIndentWidth = _severityWidth + 3;
  
    AnalyzeCommand({bool verbose = false})
        : super(cmdName, "Analyze the project's Dart code.") {
  
negative.code:     }
    }
  
    static String _escapeForMachineMode(String input) {
      var result = StringBuffer();
      for (var c in input.codeUnits) {
  