Added more debugging printfs