ecdsa-nist256p-challenge: fixups