fix some printf format specifiers