Fix printf format specifiers