changed second argument passed to printf to a string