correct printf format