docs: function(tag, nodes) {
      var xmlNodes = nodes.map(function(x) {return x.xml(xml, opt_brief);});
      var tagNode = xml.createElementNS('', tag);
      for (var i = 0, child; child = xmlNodes[i]; i++) {
        tagNode.appendChild(child);
      }
      return tagNode;
    }