Correction of main.cpp.