Add some of the debug printf