(SHA) Correct typing.