Fix unnecessary namespace in main.cxx