Added two debugging print lines