@ main.cpp: a fix