Trivial change to main.cpp