correct printf format type