Fix some printf arguments.