Small bug fix to gui.