Fix call to TSHKDF