Fix a bug in the optimized Sha2-512 implementation.