Minor change to usage in main.cpp