fixing printf