Thoughts on the NSA's correction to SHA