Tiny main.py change