minor GUI brushing