Correct. I'll take a closer look and see if there is any irregularity there. After thinking about this, I realize that after assembly, I had the car aligned, and the nut came loose on a trackday after that (I think the 2nd trackday after alignment). So it's likely that they undertorqued it, not me. Still, it'd be nice to have a target tightness.