gui.py bugfixes