Minor fix in main.py, gitignore.