Fixed a nasty syntax error in main.py.