changed from using Symbol to String in symbol tables