Add missing printf parameter