Совершенно согласен. Даже и последний std::endl можно убрать, ведь последующий exit() делает неявный flush. Я смотрел в это место, думал заменить на \n. Но ведь народ начнёт тасовать этот код, потеряет последний std::endl или вставит что-то лишнее после него. Решил оставить как есть.