I'm not so sure about this.  This is debug printing stuff, and should probably be left writing to stdout.