fix hashcmp()