Small improvement: hmac256 is now correct.