UI: Minor style tweak.