More sensible use of printf