Fix some more printf() format problems.