fixed bug in symbol table