Some minor improvements in new_gui.py