small change in main()