output.push_str(&label.to_string());
if labels.peek().is_some() {
output.push(',');
output.push_str(", ");
}
output