add missing printf argument