Took out debugging prints from main.cpp