cosmetic changes to main()