Add some more debug printouts