few tweaks to gui.py