Fix funny typo in docu to double_hash().