Should it be Debugf instead?