Fix mailbox_hash()