update of HelloWorld.main()