Fix encoding of HMAC

This actually works now.