Correct use of PRId64