Fix inttypes.h usage

...I neglected to put a '%' character before using the PRI* macros.