Minor fix in Gui