Added proper imports to main.py