Make Pylint happy about main()