if (first) {
first = false;
} else {
s.append(",");
}
<BUG>name(Name.of(attr.getKey()));
s.append("=");
name(Name.of(attr.getValue().toString()));
}</BUG>
s.append("]");

if (first) {
first = false;
} else {
s.append(",");
