minor tweak for GUI