Fixing Sha512C