Incorrect assertion in form-action Pre-Navigation Check

[Lubrsi]

The steps for form-action Pre-Navigation Check state:

1. Assert: policy is unused in this algorithm.
2. If navigation type is "form-submission":
   2.1. If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and a policy, is "Does Not Match", return "Blocked".
3. Return "Allowed".

Step 2.1 uses policy, making the assertion on step 1 incorrect.