More correct printf format specifiers