Another minor change to master.py