Removed a bug from main.cpp, induced in a recent change.