Cleanup main()