SymbolTable: got rid of an unused local variable.