Re: Thoughts on the NSA's correction to SHA