Yet another finetune in hash and equals