0: minor UI tweak