Add some diagnostic prints