Call printf rather than puts