Added missing arguments to printf()