Bug fix in Keccak output length