Fix some printf-format issues.