Minor UI tweak:  changed label text.