little bug in printdebug