Small bugfix to gui.