Fix some printf()s.