Changes to main.cpp

Minor changes to io::terminal