Fixed a small typo in a terminal message under main()