Small GUI tweakage