Minor tweaks of the UI.