Minor UI tweak.