Add missing parameter to printf