Bugfix of the sha512 hmac