Fix some more printf() format issues.