Minor comments to SHA3 i-face;