Minor updates to main.py