fix bad use of printf