Corrected printf output