main.cpp trivial update