fixes to symbol table