fixed symbol table printing