Got rid of debug printing in main.cpp