minor change in main.cpp