Formatting: interface tweaks.