fixed printf style formatting problem