Fix spelling error (RT 91561)
Primo now allows S=1 in ECPP proofs