Minor tweak to main.cpp