Minor change to claim strength of FragmentJumpClaimer. Nearly trivial change in untested code; no test changes expected.