Fix up comment convention on the arch-tag lines.