Fixed formatting in main.cc