Fixing printf statement