Corrected printf-output