Symbols are now sorted by addr.
Formating tweaks.