Fix SymbolTable bug