SHA512: fix lint warning