Correct printf format