Fix a printf-format mismatch for OS/X