Add some more debugging print lines