More debug output in main