Tiny UI tweak.