minor UI tweak