fixed wrong parameters to PrintfDbg