Fix bad printf call