White space nit
Fix printf format nit.

Fixes #1429