Fix another use of PRIx32 that should have been PRIx64.