#556: avoid duplicate tags when appending our tags