simpler counter initialization and label formatting