Fix the other printf call too, eh?