Fix typo in main.cpp