Another small UI tweak.