DEBUG output.  DO NOT cherry-pick this