Fix SymbolCounter