Correct use of printf