Fix license header in main.py, add module docstring.