Fix EdDSA example