Minor adjustments to gui()