Fix printf format specifier