Minor styling fixes
SymbolSet tweaks and fixes