fix hashcmp()
Merge branch 'develop'