Oops, PrintBad() accepts an NSString, not char*.