Add missing SpecCounterA constructor doc