workflow bug correction in main()