small fixes in main.py