Never mind, it does not harm at all and IMO we should move the SHA2 stuff to sha.h anyway. This was only committed to bleeding (I committed before spotting this).