Did some debugging in main