diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 2a139ac..ec9d66f 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -460,7 +460,7 @@ global_env() ->
     %% Crypto/Curve operations
     CryptoScope = #scope
         { funs = MkDefs(
-                     [{"ecrecover_secp256k1", Fun([Hash, Bytes(64)], Hash)},
+                     [{"ecrecover_secp256k1", Fun([Hash, Bytes(65)], Hash)},
                       {"ecverify", Fun([Hash, Address, SignId], Bool)},
                       {"ecverify_secp256k1", Fun([Hash, Bytes(64), Bytes(64)], Bool)},
                       {"sha3",     Fun1(A, Hash)},
diff --git a/src/aeso_ast_to_icode.erl b/src/aeso_ast_to_icode.erl
index 5f8ca14..82fee1f 100644
--- a/src/aeso_ast_to_icode.erl
+++ b/src/aeso_ast_to_icode.erl
@@ -353,7 +353,7 @@ ast_body({map, Ann, Map, [Upd | Upds]}, Icode) ->
 ast_body(?qid_app(["Crypto", "ecrecover_secp256k1"], [Msg, Sig], _, _), Icode) ->
     prim_call(?PRIM_CALL_CRYPTO_ECRECOVER_SECP256K1, #integer{value = 0},
               [ast_body(Msg, Icode), ast_body(Sig, Icode)],
-              [word, sign_t()], word);
+              [word, bytes_t(65)], word);
 
 ast_body(?qid_app(["Crypto", "ecverify"], [Msg, PK, Sig], _, _), Icode) ->
     prim_call(?PRIM_CALL_CRYPTO_ECVERIFY, #integer{value = 0},