Standardise use of printf