Small fix to Keccak code