I don't remember that particular call out. But, I did find a couple of rivet call outs that were inconsistent, or for one reason or another, I went with a longer or shorter rivet.
I just use a rivet gauge when in doubt. At this point, most of the time I can tell just by looking at it if I need to go up or down in length.