Made the symbol table dump more readable.