Fixed some broken format specifications in printf's. Used only in debugging,
I believe.
Authored by: dwarren 2015-06-08
Parent: [r8389]
Child: [r8391]