Fix; spec of mp_crypto