#12 fix instructions to extract public key