Added more debugging printing